; ModuleID = '/home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c'
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

%struct.exe_file_t = type { i32, i32, i64, %struct.exe_disk_file_t* }
%struct.exe_disk_file_t = type { i32, i8*, i8*, %struct.stat64* }
%struct.stat64 = type { i64, i64, i64, i32, i32, i32, i32, i64, i64, i64, i64, %struct.timespec, %struct.timespec, %struct.timespec, [3 x i64] }
%struct.timespec = type { i64, i64 }
%struct.fill_info_t = type { i32, i32, i32, %union.anon }
%union.anon = type { i8* }
%struct.exe_file_system_t = type { i32, i32, i32, %struct.exe_disk_file_t*, %struct.exe_disk_file_t*, i32, %struct.exe_disk_file_t*, %struct.exe_disk_file_t*, i32, i32, %struct.exe_disk_file_t*, i32, i32, %struct.exe_disk_file_t*, i32, i32*, i32*, i32*, i32*, i32*, i32*, i32* }

@__exe_env = global { [32 x %struct.exe_file_t], i32, i32, i32, [4 x i8] } { [32 x %struct.exe_file_t] [%struct.exe_file_t { i32 0, i32 5, i64 0, %struct.exe_disk_file_t* null }, %struct.exe_file_t { i32 1, i32 9, i64 0, %struct.exe_disk_file_t* null }, %struct.exe_file_t { i32 2, i32 9, i64 0, %struct.exe_disk_file_t* null }, %struct.exe_file_t zeroinitializer, %struct.exe_file_t zeroinitializer, %struct.exe_file_t zeroinitializer, %struct.exe_file_t zeroinitializer, %struct.exe_file_t zeroinitializer, %struct.exe_file_t zeroinitializer, %struct.exe_file_t zeroinitializer, %struct.exe_file_t zeroinitializer, %struct.exe_file_t zeroinitializer, %struct.exe_file_t zeroinitializer, %struct.exe_file_t zeroinitializer, %struct.exe_file_t zeroinitializer, %struct.exe_file_t zeroinitializer, %struct.exe_file_t zeroinitializer, %struct.exe_file_t zeroinitializer, %struct.exe_file_t zeroinitializer, %struct.exe_file_t zeroinitializer, %struct.exe_file_t zeroinitializer, %struct.exe_file_t zeroinitializer, %struct.exe_file_t zeroinitializer, %struct.exe_file_t zeroinitializer, %struct.exe_file_t zeroinitializer, %struct.exe_file_t zeroinitializer, %struct.exe_file_t zeroinitializer, %struct.exe_file_t zeroinitializer, %struct.exe_file_t zeroinitializer, %struct.exe_file_t zeroinitializer, %struct.exe_file_t zeroinitializer, %struct.exe_file_t zeroinitializer], i32 18, i32 0, i32 0, [4 x i8] undef }, align 8
@.str1 = private unnamed_addr constant [37 x i8] c"s >= 0 && \22unable to open fill file\22\00", align 1
@.str2 = private unnamed_addr constant [71 x i8] c"/home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c\00", align 1
@__PRETTY_FUNCTION__.__fill_blocks = private unnamed_addr constant [78 x i8] c"void __fill_blocks(exe_disk_file_t *, const fill_info_t *, unsigned int, int)\00", align 1
@.str4 = private unnamed_addr constant [62 x i8] c"dfile->size >= p->offset + s && \22fill file to big for socket\22\00", align 1
@.str5 = private unnamed_addr constant [27 x i8] c"0 && \22unknown fill method\22\00", align 1
@klee_init_fds.name = private unnamed_addr constant [7 x i8] c"?-data\00", align 1
@klee_init_fds.dname = private unnamed_addr constant [7 x i8] c"DGRAM?\00", align 1
@.str6 = private unnamed_addr constant [2 x i8] c".\00", align 1
@__stream_fill_info = internal unnamed_addr global %struct.fill_info_t* null, align 8
@__n_stream_fill_info = internal unnamed_addr global i32 0, align 4
@__dgram_fill_info = internal unnamed_addr global %struct.fill_info_t* null, align 8
@__n_dgram_fill_info = internal unnamed_addr global i32 0, align 4
@__exe_fs = common global %struct.exe_file_system_t zeroinitializer, align 8
@.str7 = private unnamed_addr constant [6 x i8] c"stdin\00", align 1
@.str8 = private unnamed_addr constant [10 x i8] c"read_fail\00", align 1
@.str9 = private unnamed_addr constant [11 x i8] c"write_fail\00", align 1
@.str10 = private unnamed_addr constant [11 x i8] c"close_fail\00", align 1
@.str11 = private unnamed_addr constant [15 x i8] c"ftruncate_fail\00", align 1
@.str12 = private unnamed_addr constant [12 x i8] c"getcwd_fail\00", align 1
@.str13 = private unnamed_addr constant [7 x i8] c"stdout\00", align 1
@.str14 = private unnamed_addr constant [14 x i8] c"model_version\00", align 1
@.str15 = private unnamed_addr constant [37 x i8] c"malloc returned NULL for sym_streams\00", align 1
@.str16 = private unnamed_addr constant [36 x i8] c"malloc returned NULL for sym_dgrams\00", align 1
@.str17 = private unnamed_addr constant [6 x i8] c"-stat\00", align 1
@.str18 = private unnamed_addr constant [17 x i8] c"contents || size\00", align 1
@__PRETTY_FUNCTION__.__create_new_dfile = private unnamed_addr constant [136 x i8] c"void __create_new_dfile(exe_disk_file_t *, unsigned int, char *, const char *, const fill_info_t *, unsigned int, struct stat64 *, int)\00", align 1

; Function Attrs: nounwind uwtable
define void @__fill_blocks(%struct.exe_disk_file_t* nocapture readonly %dfile, %struct.fill_info_t* nocapture readonly %fill_info, i32 %n_fill_info, i32 %do_memset) #0 {
entry:
  %file = alloca i8*, align 8
  tail call void @llvm.dbg.value(metadata !{%struct.exe_disk_file_t* %dfile}, i64 0, metadata !81), !dbg !243
  tail call void @llvm.dbg.value(metadata !{%struct.fill_info_t* %fill_info}, i64 0, metadata !82), !dbg !243
  tail call void @llvm.dbg.value(metadata !{i32 %n_fill_info}, i64 0, metadata !83), !dbg !243
  tail call void @llvm.dbg.value(metadata !{i32 %do_memset}, i64 0, metadata !84), !dbg !243
  tail call void @llvm.dbg.declare(metadata !{i8** %file}, metadata !88), !dbg !244
  tail call void @llvm.dbg.value(metadata !23, i64 0, metadata !85), !dbg !245
  %cmp143 = icmp eq i32 %n_fill_info, 0, !dbg !245
  br i1 %cmp143, label %for.end95, label %for.body.lr.ph, !dbg !245

for.body.lr.ph:                                   ; preds = %entry
  %tobool = icmp eq i32 %do_memset, 0, !dbg !246
  %contents = getelementptr inbounds %struct.exe_disk_file_t* %dfile, i64 0, i32 1, !dbg !249
  %size = getelementptr inbounds %struct.exe_disk_file_t* %dfile, i64 0, i32 0, !dbg !251
  br label %for.body, !dbg !245

for.body:                                         ; preds = %for.body.lr.ph, %for.inc93
  %indvars.iv145 = phi i64 [ 0, %for.body.lr.ph ], [ %indvars.iv.next146, %for.inc93 ]
  %arrayidx = getelementptr inbounds %struct.fill_info_t* %fill_info, i64 %indvars.iv145, !dbg !252
  tail call void @llvm.dbg.value(metadata !{%struct.fill_info_t* %arrayidx}, i64 0, metadata !89), !dbg !252
  %fill_method = getelementptr inbounds %struct.fill_info_t* %fill_info, i64 %indvars.iv145, i32 1, !dbg !253
  %0 = load i32* %fill_method, align 4, !dbg !253, !tbaa !254
  switch i32 %0, label %sw.default [
    i32 0, label %sw.bb
    i32 1, label %sw.bb18
    i32 2, label %sw.bb52
  ], !dbg !253

sw.bb:                                            ; preds = %for.body
  br i1 %tobool, label %for.cond1.preheader, label %if.then, !dbg !246

for.cond1.preheader:                              ; preds = %sw.bb
  %length2 = getelementptr inbounds %struct.fill_info_t* %fill_info, i64 %indvars.iv145, i32 2, !dbg !259
  %1 = load i32* %length2, align 4, !dbg !259, !tbaa !262
  %cmp3141 = icmp eq i32 %1, 0, !dbg !259
  br i1 %cmp3141, label %for.inc93, label %for.body5.lr.ph, !dbg !259

for.body5.lr.ph:                                  ; preds = %for.cond1.preheader
  %offset6 = getelementptr inbounds %struct.fill_info_t* %arrayidx, i64 0, i32 0, !dbg !263
  %arg11 = getelementptr inbounds %struct.fill_info_t* %fill_info, i64 %indvars.iv145, i32 3, !dbg !263
  %value12 = bitcast %union.anon* %arg11 to i32*, !dbg !263
  br label %for.body5, !dbg !259

if.then:                                          ; preds = %sw.bb
  %2 = load i8** %contents, align 8, !dbg !249, !tbaa !265
  %offset = getelementptr inbounds %struct.fill_info_t* %arrayidx, i64 0, i32 0, !dbg !249
  %3 = load i32* %offset, align 4, !dbg !249, !tbaa !268
  %idx.ext = zext i32 %3 to i64, !dbg !249
  %add.ptr = getelementptr inbounds i8* %2, i64 %idx.ext, !dbg !249
  %arg = getelementptr inbounds %struct.fill_info_t* %fill_info, i64 %indvars.iv145, i32 3, !dbg !249
  %value = bitcast %union.anon* %arg to i32*, !dbg !249
  %4 = load i32* %value, align 4, !dbg !249, !tbaa !269
  %5 = trunc i32 %4 to i8, !dbg !249
  %length = getelementptr inbounds %struct.fill_info_t* %fill_info, i64 %indvars.iv145, i32 2, !dbg !249
  %6 = load i32* %length, align 4, !dbg !249, !tbaa !262
  %conv = zext i32 %6 to i64, !dbg !249
  tail call void @llvm.memset.p0i8.i64(i8* %add.ptr, i8 %5, i64 %conv, i32 1, i1 false), !dbg !249
  br label %for.inc93, !dbg !270

for.body5:                                        ; preds = %for.body5.lr.ph, %for.body5
  %j.0142 = phi i32 [ 0, %for.body5.lr.ph ], [ %inc, %for.body5 ]
  %7 = load i32* %offset6, align 4, !dbg !263, !tbaa !268
  %add = add i32 %7, %j.0142, !dbg !263
  %idxprom7 = zext i32 %add to i64, !dbg !263
  %8 = load i8** %contents, align 8, !dbg !263, !tbaa !265
  %arrayidx9 = getelementptr inbounds i8* %8, i64 %idxprom7, !dbg !263
  %9 = load i8* %arrayidx9, align 1, !dbg !263, !tbaa !271
  %10 = load i32* %value12, align 4, !dbg !263, !tbaa !269
  %11 = trunc i32 %10 to i8, !dbg !263
  %cmp15 = icmp eq i8 %9, %11, !dbg !263
  %conv17 = zext i1 %cmp15 to i64, !dbg !263
  tail call void @klee_assume(i64 %conv17) #2, !dbg !263
  %inc = add i32 %j.0142, 1, !dbg !259
  tail call void @llvm.dbg.value(metadata !{i32 %inc}, i64 0, metadata !86), !dbg !259
  %12 = load i32* %length2, align 4, !dbg !259, !tbaa !262
  %cmp3 = icmp ult i32 %inc, %12, !dbg !259
  br i1 %cmp3, label %for.body5, label %for.inc93, !dbg !259

sw.bb18:                                          ; preds = %for.body
  br i1 %tobool, label %for.cond29.preheader, label %if.then20, !dbg !272

for.cond29.preheader:                             ; preds = %sw.bb18
  %length30 = getelementptr inbounds %struct.fill_info_t* %fill_info, i64 %indvars.iv145, i32 2, !dbg !274
  %13 = load i32* %length30, align 4, !dbg !274, !tbaa !262
  %cmp31138 = icmp eq i32 %13, 0, !dbg !274
  br i1 %cmp31138, label %for.inc93, label %for.body33.lr.ph, !dbg !274

for.body33.lr.ph:                                 ; preds = %for.cond29.preheader
  %offset34 = getelementptr inbounds %struct.fill_info_t* %arrayidx, i64 0, i32 0, !dbg !277
  %string42 = getelementptr inbounds %struct.fill_info_t* %fill_info, i64 %indvars.iv145, i32 3, i32 0, !dbg !277
  br label %for.body33, !dbg !274

if.then20:                                        ; preds = %sw.bb18
  %14 = load i8** %contents, align 8, !dbg !279, !tbaa !265
  %offset22 = getelementptr inbounds %struct.fill_info_t* %arrayidx, i64 0, i32 0, !dbg !279
  %15 = load i32* %offset22, align 4, !dbg !279, !tbaa !268
  %idx.ext23 = zext i32 %15 to i64, !dbg !279
  %add.ptr24 = getelementptr inbounds i8* %14, i64 %idx.ext23, !dbg !279
  %string = getelementptr inbounds %struct.fill_info_t* %fill_info, i64 %indvars.iv145, i32 3, i32 0, !dbg !279
  %16 = load i8** %string, align 8, !dbg !279, !tbaa !281
  %length26 = getelementptr inbounds %struct.fill_info_t* %fill_info, i64 %indvars.iv145, i32 2, !dbg !279
  %17 = load i32* %length26, align 4, !dbg !279, !tbaa !262
  %conv27 = zext i32 %17 to i64, !dbg !279
  tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %add.ptr24, i8* %16, i64 %conv27, i32 1, i1 false), !dbg !279
  br label %for.inc93, !dbg !282

for.body33:                                       ; preds = %for.body33.lr.ph, %for.body33
  %j.1139 = phi i32 [ 0, %for.body33.lr.ph ], [ %inc49, %for.body33 ]
  %18 = load i32* %offset34, align 4, !dbg !277, !tbaa !268
  %add35 = add i32 %18, %j.1139, !dbg !277
  %idxprom36 = zext i32 %add35 to i64, !dbg !277
  %19 = load i8** %contents, align 8, !dbg !277, !tbaa !265
  %arrayidx38 = getelementptr inbounds i8* %19, i64 %idxprom36, !dbg !277
  %20 = load i8* %arrayidx38, align 1, !dbg !277, !tbaa !271
  %idxprom40 = zext i32 %j.1139 to i64, !dbg !277
  %21 = load i8** %string42, align 8, !dbg !277, !tbaa !281
  %arrayidx43 = getelementptr inbounds i8* %21, i64 %idxprom40, !dbg !277
  %22 = load i8* %arrayidx43, align 1, !dbg !277, !tbaa !271
  %cmp45 = icmp eq i8 %20, %22, !dbg !277
  %conv47 = zext i1 %cmp45 to i64, !dbg !277
  tail call void @klee_assume(i64 %conv47) #2, !dbg !277
  %inc49 = add i32 %j.1139, 1, !dbg !274
  tail call void @llvm.dbg.value(metadata !{i32 %inc49}, i64 0, metadata !86), !dbg !274
  %23 = load i32* %length30, align 4, !dbg !274, !tbaa !262
  %cmp31 = icmp ult i32 %inc49, %23, !dbg !274
  br i1 %cmp31, label %for.body33, label %for.inc93, !dbg !274

sw.bb52:                                          ; preds = %for.body
  %string54 = getelementptr inbounds %struct.fill_info_t* %fill_info, i64 %indvars.iv145, i32 3, i32 0, !dbg !283
  %24 = load i8** %string54, align 8, !dbg !283, !tbaa !281
  %call = call i32 @native_read_file(i8* %24, i32 0, i8** %file), !dbg !283
  tail call void @llvm.dbg.value(metadata !{i32 %call}, i64 0, metadata !87), !dbg !283
  %cmp55 = icmp sgt i32 %call, -1, !dbg !284
  br i1 %cmp55, label %cond.end, label %cond.false, !dbg !284

cond.false:                                       ; preds = %sw.bb52
  tail call void @__assert_fail(i8* getelementptr inbounds ([37 x i8]* @.str1, i64 0, i64 0), i8* getelementptr inbounds ([71 x i8]* @.str2, i64 0, i64 0), i32 86, i8* getelementptr inbounds ([78 x i8]* @__PRETTY_FUNCTION__.__fill_blocks, i64 0, i64 0)) #7, !dbg !284
  unreachable, !dbg !284

cond.end:                                         ; preds = %sw.bb52
  %25 = load i32* %size, align 4, !dbg !251, !tbaa !285
  %offset57 = getelementptr inbounds %struct.fill_info_t* %arrayidx, i64 0, i32 0, !dbg !251
  %26 = load i32* %offset57, align 4, !dbg !251, !tbaa !268
  %add58 = add i32 %26, %call, !dbg !251
  %cmp59 = icmp ult i32 %25, %add58, !dbg !251
  br i1 %cmp59, label %cond.false63, label %cond.end64, !dbg !251

cond.false63:                                     ; preds = %cond.end
  tail call void @__assert_fail(i8* getelementptr inbounds ([62 x i8]* @.str4, i64 0, i64 0), i8* getelementptr inbounds ([71 x i8]* @.str2, i64 0, i64 0), i32 87, i8* getelementptr inbounds ([78 x i8]* @__PRETTY_FUNCTION__.__fill_blocks, i64 0, i64 0)) #7, !dbg !251
  unreachable, !dbg !251

cond.end64:                                       ; preds = %cond.end
  br i1 %tobool, label %for.cond73.preheader, label %if.then66, !dbg !286

for.cond73.preheader:                             ; preds = %cond.end64
  %cmp74135 = icmp eq i32 %call, 0, !dbg !288
  br i1 %cmp74135, label %for.inc93, label %for.body76.lr.ph, !dbg !288

for.body76.lr.ph:                                 ; preds = %for.cond73.preheader
  call void @llvm.dbg.value(metadata !{i8** %file}, i64 0, metadata !88), !dbg !291
  %27 = load i8** %file, align 8, !dbg !291, !tbaa !281
  br label %for.body76, !dbg !288

if.then66:                                        ; preds = %cond.end64
  %28 = load i8** %contents, align 8, !dbg !293, !tbaa !265
  %idx.ext69 = zext i32 %26 to i64, !dbg !293
  %add.ptr70 = getelementptr inbounds i8* %28, i64 %idx.ext69, !dbg !293
  tail call void @llvm.dbg.value(metadata !{i8** %file}, i64 0, metadata !88), !dbg !293
  %29 = load i8** %file, align 8, !dbg !293, !tbaa !281
  %conv71 = sext i32 %call to i64, !dbg !293
  tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %add.ptr70, i8* %29, i64 %conv71, i32 1, i1 false), !dbg !293
  br label %for.inc93, !dbg !295

for.body76:                                       ; preds = %for.body76.for.body76_crit_edge, %for.body76.lr.ph
  %30 = phi i32 [ %26, %for.body76.lr.ph ], [ %.pre, %for.body76.for.body76_crit_edge ]
  %indvars.iv = phi i64 [ 0, %for.body76.lr.ph ], [ %indvars.iv.next, %for.body76.for.body76_crit_edge ]
  %31 = trunc i64 %indvars.iv to i32, !dbg !291
  %add78 = add i32 %30, %31, !dbg !291
  %idxprom79 = zext i32 %add78 to i64, !dbg !291
  %32 = load i8** %contents, align 8, !dbg !291, !tbaa !265
  %arrayidx81 = getelementptr inbounds i8* %32, i64 %idxprom79, !dbg !291
  %33 = load i8* %arrayidx81, align 1, !dbg !291, !tbaa !271
  tail call void @llvm.dbg.value(metadata !{i8** %file}, i64 0, metadata !88), !dbg !291
  %arrayidx84 = getelementptr inbounds i8* %27, i64 %indvars.iv, !dbg !291
  %34 = load i8* %arrayidx84, align 1, !dbg !291, !tbaa !271
  %cmp86 = icmp eq i8 %33, %34, !dbg !291
  %conv88 = zext i1 %cmp86 to i64, !dbg !291
  tail call void @klee_assume(i64 %conv88) #2, !dbg !291
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1, !dbg !288
  %lftr.wideiv = trunc i64 %indvars.iv.next to i32, !dbg !288
  %exitcond = icmp eq i32 %lftr.wideiv, %call, !dbg !288
  br i1 %exitcond, label %for.inc93, label %for.body76.for.body76_crit_edge, !dbg !288

for.body76.for.body76_crit_edge:                  ; preds = %for.body76
  %.pre = load i32* %offset57, align 4, !dbg !291, !tbaa !268
  br label %for.body76, !dbg !288

sw.default:                                       ; preds = %for.body
  tail call void @__assert_fail(i8* getelementptr inbounds ([27 x i8]* @.str5, i64 0, i64 0), i8* getelementptr inbounds ([71 x i8]* @.str2, i64 0, i64 0), i32 97, i8* getelementptr inbounds ([78 x i8]* @__PRETTY_FUNCTION__.__fill_blocks, i64 0, i64 0)) #7, !dbg !296
  unreachable, !dbg !296

for.inc93:                                        ; preds = %for.body5, %for.body33, %for.body76, %for.cond1.preheader, %for.cond29.preheader, %for.cond73.preheader, %if.then, %if.then20, %if.then66
  %indvars.iv.next146 = add nuw nsw i64 %indvars.iv145, 1, !dbg !245
  %35 = trunc i64 %indvars.iv.next146 to i32, !dbg !245
  %cmp = icmp ult i32 %35, %n_fill_info, !dbg !245
  br i1 %cmp, label %for.body, label %for.end95, !dbg !245

for.end95:                                        ; preds = %for.inc93, %entry
  ret void, !dbg !297
}

; Function Attrs: nounwind readnone
declare void @llvm.dbg.declare(metadata, metadata) #1

; Function Attrs: nounwind
declare void @llvm.memset.p0i8.i64(i8* nocapture, i8, i64, i32, i1) #2

declare void @klee_assume(i64) #3

; Function Attrs: nounwind
declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture, i8* nocapture readonly, i64, i32, i1) #2

; Function Attrs: nounwind uwtable
define i32 @native_read_file(i8* %path, i32 %flags, i8** nocapture %_buf) #0 {
entry:
  %s = alloca %struct.stat64, align 8
  call void @llvm.dbg.value(metadata !{i8* %path}, i64 0, metadata !132), !dbg !298
  call void @llvm.dbg.value(metadata !{i32 %flags}, i64 0, metadata !133), !dbg !298
  call void @llvm.dbg.value(metadata !{i8** %_buf}, i64 0, metadata !134), !dbg !298
  %0 = bitcast %struct.stat64* %s to i8*, !dbg !299
  call void @llvm.lifetime.start(i64 144, i8* %0) #2, !dbg !299
  call void @llvm.dbg.declare(metadata !{%struct.stat64* %s}, metadata !135), !dbg !299
  call void @llvm.dbg.value(metadata !{i8* %path}, i64 0, metadata !300) #2, !dbg !303
  call void @llvm.dbg.value(metadata !{%struct.stat64* %s}, i64 0, metadata !304) #2, !dbg !303
  %call.i = call i32 @__xstat64(i32 1, i8* %path, %struct.stat64* %s) #2, !dbg !305
  %cmp = icmp eq i32 %call.i, -1, !dbg !301
  br i1 %cmp, label %cleanup, label %if.end, !dbg !301

if.end:                                           ; preds = %entry
  %st_size = getelementptr inbounds %struct.stat64* %s, i64 0, i32 8, !dbg !307
  %1 = load i64* %st_size, align 8, !dbg !307, !tbaa !308
  %call1 = call noalias i8* @malloc(i64 %1) #2, !dbg !307
  store i8* %call1, i8** %_buf, align 8, !dbg !307, !tbaa !281
  call void @llvm.dbg.value(metadata !{i8* %call1}, i64 0, metadata !136), !dbg !307
  %call2 = call i64 (i64, ...)* @syscall(i64 2, i8* %path, i32 %flags, i32 0) #2, !dbg !312
  %conv = trunc i64 %call2 to i32, !dbg !312
  call void @llvm.dbg.value(metadata !{i32 %conv}, i64 0, metadata !137), !dbg !312
  %cmp3 = icmp eq i32 %conv, -1, !dbg !313
  br i1 %cmp3, label %cleanup, label %while.cond.preheader, !dbg !313

while.cond.preheader:                             ; preds = %if.end
  %2 = load i64* %st_size, align 8, !dbg !315, !tbaa !308
  %cmp927 = icmp sgt i64 %2, 0, !dbg !315
  br i1 %cmp927, label %while.body, label %while.end, !dbg !315

while.cond:                                       ; preds = %while.body
  %conv7 = sext i32 %add to i64, !dbg !315
  %3 = load i64* %st_size, align 8, !dbg !315, !tbaa !308
  %cmp9 = icmp slt i64 %conv7, %3, !dbg !315
  br i1 %cmp9, label %while.body, label %while.end, !dbg !315

while.body:                                       ; preds = %while.cond.preheader, %while.cond
  %4 = phi i64 [ %3, %while.cond ], [ %2, %while.cond.preheader ]
  %conv729 = phi i64 [ %conv7, %while.cond ], [ 0, %while.cond.preheader ]
  %cnt.028 = phi i32 [ %add, %while.cond ], [ 0, %while.cond.preheader ]
  %add.ptr = getelementptr inbounds i8* %call1, i64 %conv729, !dbg !316
  %call12 = call i64 (i64, ...)* @syscall(i64 0, i32 %conv, i8* %add.ptr, i64 %4) #2, !dbg !316
  %conv13 = trunc i64 %call12 to i32, !dbg !316
  call void @llvm.dbg.value(metadata !{i32 %conv13}, i64 0, metadata !138), !dbg !316
  %cmp14 = icmp slt i32 %conv13, 1, !dbg !318
  %add = add nsw i32 %conv13, %cnt.028, !dbg !320
  call void @llvm.dbg.value(metadata !{i32 %add}, i64 0, metadata !139), !dbg !320
  br i1 %cmp14, label %while.end, label %while.cond, !dbg !318

while.end:                                        ; preds = %while.cond, %while.body, %while.cond.preheader
  %call18 = call i64 (i64, ...)* @syscall(i64 3, i32 %conv) #2, !dbg !321
  %5 = load i64* %st_size, align 8, !dbg !322, !tbaa !308
  %conv20 = trunc i64 %5 to i32, !dbg !322
  br label %cleanup, !dbg !322

cleanup:                                          ; preds = %if.end, %entry, %while.end
  %retval.0 = phi i32 [ %conv20, %while.end ], [ -1, %entry ], [ -1, %if.end ]
  call void @llvm.lifetime.end(i64 144, i8* %0) #2, !dbg !323
  ret i32 %retval.0, !dbg !323
}

; Function Attrs: noreturn nounwind
declare void @__assert_fail(i8*, i8*, i32, i8*) #4

; Function Attrs: nounwind uwtable
define void @klee_init_fds(i32 %n_files, i32 %file_length, i32 %sym_stdout_flag, i32 %save_all_writes_flag, i32 %n_streams, i32 %stream_len, i32 %n_dgrams, i32 %dgram_len, i32 %max_failures, i32 %one_line_streams, %struct.fill_info_t* %stream_fill_info, i32 %n_stream_fill_info, %struct.fill_info_t* %dgram_fill_info, i32 %n_dgram_fill_info) #0 {
entry:
  %x.i = alloca i32, align 4
  %name = alloca [7 x i8], align 1
  %sname = alloca i64, align 8, !dbg !324
  %tmpcast = bitcast i64* %sname to [8 x i8]*, !dbg !324
  %dname = alloca [7 x i8], align 1
  %s = alloca %struct.stat64, align 8
  call void @llvm.dbg.value(metadata !{i32 %n_files}, i64 0, metadata !96), !dbg !325
  call void @llvm.dbg.value(metadata !{i32 %file_length}, i64 0, metadata !97), !dbg !325
  call void @llvm.dbg.value(metadata !{i32 %sym_stdout_flag}, i64 0, metadata !98), !dbg !326
  call void @llvm.dbg.value(metadata !{i32 %save_all_writes_flag}, i64 0, metadata !99), !dbg !326
  call void @llvm.dbg.value(metadata !{i32 %n_streams}, i64 0, metadata !100), !dbg !327
  call void @llvm.dbg.value(metadata !{i32 %stream_len}, i64 0, metadata !101), !dbg !327
  call void @llvm.dbg.value(metadata !{i32 %n_dgrams}, i64 0, metadata !102), !dbg !328
  call void @llvm.dbg.value(metadata !{i32 %dgram_len}, i64 0, metadata !103), !dbg !328
  call void @llvm.dbg.value(metadata !{i32 %max_failures}, i64 0, metadata !104), !dbg !329
  call void @llvm.dbg.value(metadata !{i32 %one_line_streams}, i64 0, metadata !105), !dbg !330
  call void @llvm.dbg.value(metadata !{%struct.fill_info_t* %stream_fill_info}, i64 0, metadata !106), !dbg !331
  call void @llvm.dbg.value(metadata !{i32 %n_stream_fill_info}, i64 0, metadata !107), !dbg !331
  call void @llvm.dbg.value(metadata !{%struct.fill_info_t* %dgram_fill_info}, i64 0, metadata !108), !dbg !332
  call void @llvm.dbg.value(metadata !{i32 %n_dgram_fill_info}, i64 0, metadata !109), !dbg !332
  call void @llvm.dbg.declare(metadata !{[7 x i8]* %name}, metadata !111), !dbg !333
  %0 = getelementptr inbounds [7 x i8]* %name, i64 0, i64 0, !dbg !333
  call void @llvm.memcpy.p0i8.p0i8.i64(i8* %0, i8* getelementptr inbounds ([7 x i8]* @klee_init_fds.name, i64 0, i64 0), i64 7, i32 1, i1 false), !dbg !333
  call void @llvm.dbg.declare(metadata !{[8 x i8]* %tmpcast}, metadata !115), !dbg !324
  store i64 17817866264007763, i64* %sname, align 8, !dbg !324
  call void @llvm.dbg.declare(metadata !{[7 x i8]* %dname}, metadata !119), !dbg !334
  %1 = getelementptr inbounds [7 x i8]* %dname, i64 0, i64 0, !dbg !334
  call void @llvm.memcpy.p0i8.p0i8.i64(i8* %1, i8* getelementptr inbounds ([7 x i8]* @klee_init_fds.dname, i64 0, i64 0), i64 7, i32 1, i1 false), !dbg !334
  %2 = bitcast %struct.stat64* %s to i8*, !dbg !335
  call void @llvm.lifetime.start(i64 144, i8* %2) #2, !dbg !335
  call void @llvm.dbg.declare(metadata !{%struct.stat64* %s}, metadata !120), !dbg !335
  call void @llvm.dbg.value(metadata !336, i64 0, metadata !337) #2, !dbg !339
  call void @llvm.dbg.value(metadata !{%struct.stat64* %s}, i64 0, metadata !340) #2, !dbg !339
  %call.i = call i32 @__xstat64(i32 1, i8* getelementptr inbounds ([2 x i8]* @.str6, i64 0, i64 0), %struct.stat64* %s) #2, !dbg !341
  store %struct.fill_info_t* %stream_fill_info, %struct.fill_info_t** @__stream_fill_info, align 8, !dbg !342, !tbaa !281
  store i32 %n_stream_fill_info, i32* @__n_stream_fill_info, align 4, !dbg !343, !tbaa !269
  store %struct.fill_info_t* %dgram_fill_info, %struct.fill_info_t** @__dgram_fill_info, align 8, !dbg !344, !tbaa !281
  store i32 %n_dgram_fill_info, i32* @__n_dgram_fill_info, align 4, !dbg !345, !tbaa !269
  store i32 %n_files, i32* getelementptr inbounds (%struct.exe_file_system_t* @__exe_fs, i64 0, i32 0), align 8, !dbg !346, !tbaa !347
  %conv = zext i32 %n_files to i64, !dbg !349
  %mul = shl nuw nsw i64 %conv, 5, !dbg !349
  %call1 = call noalias i8* @malloc(i64 %mul) #2, !dbg !349
  %3 = bitcast i8* %call1 to %struct.exe_disk_file_t*, !dbg !349
  store %struct.exe_disk_file_t* %3, %struct.exe_disk_file_t** getelementptr inbounds (%struct.exe_file_system_t* @__exe_fs, i64 0, i32 6), align 8, !dbg !349, !tbaa !350
  store i32 0, i32* getelementptr inbounds (%struct.exe_file_system_t* @__exe_fs, i64 0, i32 1), align 4, !dbg !351, !tbaa !352
  call void @llvm.dbg.value(metadata !23, i64 0, metadata !110), !dbg !353
  %cmp109 = icmp eq i32 %n_files, 0, !dbg !353
  br i1 %cmp109, label %for.end, label %for.body, !dbg !353

for.body:                                         ; preds = %entry, %for.body.for.body_crit_edge
  %4 = phi %struct.exe_disk_file_t* [ %.pre, %for.body.for.body_crit_edge ], [ %3, %entry ]
  %indvars.iv115 = phi i64 [ %indvars.iv.next116, %for.body.for.body_crit_edge ], [ 0, %entry ]
  %5 = trunc i64 %indvars.iv115 to i8, !dbg !355
  %add = add i8 %5, 65, !dbg !355
  store i8 %add, i8* %0, align 1, !dbg !355, !tbaa !271
  %arrayidx4 = getelementptr inbounds %struct.exe_disk_file_t* %4, i64 %indvars.iv115, !dbg !357
  call fastcc void @__create_new_dfile(%struct.exe_disk_file_t* %arrayidx4, i32 %file_length, i8* null, i8* %0, %struct.fill_info_t* null, i32 0, %struct.stat64* %s), !dbg !357
  %indvars.iv.next116 = add nuw nsw i64 %indvars.iv115, 1, !dbg !353
  %lftr.wideiv117 = trunc i64 %indvars.iv.next116 to i32, !dbg !353
  %exitcond118 = icmp eq i32 %lftr.wideiv117, %n_files, !dbg !353
  br i1 %exitcond118, label %for.end, label %for.body.for.body_crit_edge, !dbg !353

for.body.for.body_crit_edge:                      ; preds = %for.body
  %.pre = load %struct.exe_disk_file_t** getelementptr inbounds (%struct.exe_file_system_t* @__exe_fs, i64 0, i32 6), align 8, !dbg !357, !tbaa !350
  br label %for.body, !dbg !353

for.end:                                          ; preds = %for.body, %entry
  store i32 10, i32* getelementptr inbounds (%struct.exe_file_system_t* @__exe_fs, i64 0, i32 2), align 8, !dbg !358, !tbaa !359
  %call5 = call noalias i8* @malloc(i64 320) #2, !dbg !360
  %6 = bitcast i8* %call5 to %struct.exe_disk_file_t*, !dbg !360
  store %struct.exe_disk_file_t* %6, %struct.exe_disk_file_t** getelementptr inbounds (%struct.exe_file_system_t* @__exe_fs, i64 0, i32 7), align 8, !dbg !360, !tbaa !361
  call void @llvm.memset.p0i8.i64(i8* %call5, i8 0, i64 320, i32 8, i1 false), !dbg !362
  %tobool = icmp eq i32 %file_length, 0, !dbg !363
  br i1 %tobool, label %if.else, label %if.then, !dbg !363

if.then:                                          ; preds = %for.end
  %call6 = call noalias i8* @malloc(i64 32) #2, !dbg !365
  %7 = bitcast i8* %call6 to %struct.exe_disk_file_t*, !dbg !365
  store %struct.exe_disk_file_t* %7, %struct.exe_disk_file_t** getelementptr inbounds (%struct.exe_file_system_t* @__exe_fs, i64 0, i32 3), align 8, !dbg !365, !tbaa !367
  call fastcc void @__create_new_dfile(%struct.exe_disk_file_t* %7, i32 %file_length, i8* null, i8* getelementptr inbounds ([6 x i8]* @.str7, i64 0, i64 0), %struct.fill_info_t* null, i32 0, %struct.stat64* %s), !dbg !368
  %8 = load %struct.exe_disk_file_t** getelementptr inbounds (%struct.exe_file_system_t* @__exe_fs, i64 0, i32 3), align 8, !dbg !369, !tbaa !367
  store %struct.exe_disk_file_t* %8, %struct.exe_disk_file_t** getelementptr inbounds ({ [32 x %struct.exe_file_t], i32, i32, i32, [4 x i8] }* @__exe_env, i64 0, i32 0, i64 0, i32 3), align 8, !dbg !369, !tbaa !370
  br label %if.end, !dbg !372

if.else:                                          ; preds = %for.end
  store %struct.exe_disk_file_t* null, %struct.exe_disk_file_t** getelementptr inbounds (%struct.exe_file_system_t* @__exe_fs, i64 0, i32 3), align 8, !dbg !373, !tbaa !367
  br label %if.end

if.end:                                           ; preds = %if.else, %if.then
  store i32 %max_failures, i32* getelementptr inbounds (%struct.exe_file_system_t* @__exe_fs, i64 0, i32 14), align 8, !dbg !374, !tbaa !375
  %tobool7 = icmp eq i32 %max_failures, 0, !dbg !376
  br i1 %tobool7, label %if.end14, label %if.then8, !dbg !376

if.then8:                                         ; preds = %if.end
  %call9 = call noalias i8* @malloc(i64 4) #2, !dbg !378
  %9 = bitcast i8* %call9 to i32*, !dbg !378
  store i32* %9, i32** getelementptr inbounds (%struct.exe_file_system_t* @__exe_fs, i64 0, i32 15), align 8, !dbg !378, !tbaa !380
  %call10 = call noalias i8* @malloc(i64 4) #2, !dbg !381
  %10 = bitcast i8* %call10 to i32*, !dbg !381
  store i32* %10, i32** getelementptr inbounds (%struct.exe_file_system_t* @__exe_fs, i64 0, i32 16), align 8, !dbg !381, !tbaa !382
  %call11 = call noalias i8* @malloc(i64 4) #2, !dbg !383
  %11 = bitcast i8* %call11 to i32*, !dbg !383
  store i32* %11, i32** getelementptr inbounds (%struct.exe_file_system_t* @__exe_fs, i64 0, i32 17), align 8, !dbg !383, !tbaa !384
  %call12 = call noalias i8* @malloc(i64 4) #2, !dbg !385
  %12 = bitcast i8* %call12 to i32*, !dbg !385
  store i32* %12, i32** getelementptr inbounds (%struct.exe_file_system_t* @__exe_fs, i64 0, i32 18), align 8, !dbg !385, !tbaa !386
  %call13 = call noalias i8* @malloc(i64 4) #2, !dbg !387
  %13 = bitcast i8* %call13 to i32*, !dbg !387
  store i32* %13, i32** getelementptr inbounds (%struct.exe_file_system_t* @__exe_fs, i64 0, i32 19), align 8, !dbg !387, !tbaa !388
  call void @klee_make_symbolic(i8* %call9, i64 4, i8* getelementptr inbounds ([10 x i8]* @.str8, i64 0, i64 0)) #2, !dbg !389
  %14 = load i32** getelementptr inbounds (%struct.exe_file_system_t* @__exe_fs, i64 0, i32 16), align 8, !dbg !390, !tbaa !382
  %15 = bitcast i32* %14 to i8*, !dbg !390
  call void @klee_make_symbolic(i8* %15, i64 4, i8* getelementptr inbounds ([11 x i8]* @.str9, i64 0, i64 0)) #2, !dbg !390
  %16 = load i32** getelementptr inbounds (%struct.exe_file_system_t* @__exe_fs, i64 0, i32 17), align 8, !dbg !391, !tbaa !384
  %17 = bitcast i32* %16 to i8*, !dbg !391
  call void @klee_make_symbolic(i8* %17, i64 4, i8* getelementptr inbounds ([11 x i8]* @.str10, i64 0, i64 0)) #2, !dbg !391
  %18 = load i32** getelementptr inbounds (%struct.exe_file_system_t* @__exe_fs, i64 0, i32 18), align 8, !dbg !392, !tbaa !386
  %19 = bitcast i32* %18 to i8*, !dbg !392
  call void @klee_make_symbolic(i8* %19, i64 4, i8* getelementptr inbounds ([15 x i8]* @.str11, i64 0, i64 0)) #2, !dbg !392
  %20 = load i32** getelementptr inbounds (%struct.exe_file_system_t* @__exe_fs, i64 0, i32 19), align 8, !dbg !393, !tbaa !388
  %21 = bitcast i32* %20 to i8*, !dbg !393
  call void @klee_make_symbolic(i8* %21, i64 4, i8* getelementptr inbounds ([12 x i8]* @.str12, i64 0, i64 0)) #2, !dbg !393
  br label %if.end14, !dbg !394

if.end14:                                         ; preds = %if.end, %if.then8
  %tobool15 = icmp eq i32 %sym_stdout_flag, 0, !dbg !395
  br i1 %tobool15, label %if.else18, label %if.then16, !dbg !395

if.then16:                                        ; preds = %if.end14
  %call17 = call noalias i8* @malloc(i64 32) #2, !dbg !397
  %22 = bitcast i8* %call17 to %struct.exe_disk_file_t*, !dbg !397
  store %struct.exe_disk_file_t* %22, %struct.exe_disk_file_t** getelementptr inbounds (%struct.exe_file_system_t* @__exe_fs, i64 0, i32 4), align 8, !dbg !397, !tbaa !399
  call fastcc void @__create_new_dfile(%struct.exe_disk_file_t* %22, i32 1024, i8* null, i8* getelementptr inbounds ([7 x i8]* @.str13, i64 0, i64 0), %struct.fill_info_t* null, i32 0, %struct.stat64* %s), !dbg !400
  %23 = load %struct.exe_disk_file_t** getelementptr inbounds (%struct.exe_file_system_t* @__exe_fs, i64 0, i32 4), align 8, !dbg !401, !tbaa !399
  store %struct.exe_disk_file_t* %23, %struct.exe_disk_file_t** getelementptr inbounds ({ [32 x %struct.exe_file_t], i32, i32, i32, [4 x i8] }* @__exe_env, i64 0, i32 0, i64 1, i32 3), align 8, !dbg !401, !tbaa !370
  store i32 0, i32* getelementptr inbounds (%struct.exe_file_system_t* @__exe_fs, i64 0, i32 5), align 8, !dbg !402, !tbaa !403
  br label %if.end19, !dbg !404

if.else18:                                        ; preds = %if.end14
  store %struct.exe_disk_file_t* null, %struct.exe_disk_file_t** getelementptr inbounds (%struct.exe_file_system_t* @__exe_fs, i64 0, i32 4), align 8, !dbg !405, !tbaa !399
  br label %if.end19

if.end19:                                         ; preds = %if.else18, %if.then16
  store i32 %save_all_writes_flag, i32* getelementptr inbounds ({ [32 x %struct.exe_file_t], i32, i32, i32, [4 x i8] }* @__exe_env, i64 0, i32 3), align 8, !dbg !406, !tbaa !407
  %24 = bitcast i32* %x.i to i8*, !dbg !409
  call void @llvm.lifetime.start(i64 4, i8* %24) #2, !dbg !409
  call void @llvm.dbg.value(metadata !411, i64 0, metadata !412) #2, !dbg !409
  call void @llvm.dbg.declare(metadata !{i32* %x.i}, metadata !155) #2, !dbg !413
  call void @klee_make_symbolic(i8* %24, i64 4, i8* getelementptr inbounds ([14 x i8]* @.str14, i64 0, i64 0)) #2, !dbg !414
  call void @llvm.dbg.value(metadata !{i32* %x.i}, i64 0, metadata !415) #2, !dbg !416
  call void @llvm.dbg.value(metadata !{i32* %x.i}, i64 0, metadata !155), !dbg !416
  %25 = load i32* %x.i, align 4, !dbg !416, !tbaa !269
  call void @llvm.lifetime.end(i64 4, i8* %24) #2, !dbg !416
  store i32 %25, i32* getelementptr inbounds ({ [32 x %struct.exe_file_t], i32, i32, i32, [4 x i8] }* @__exe_env, i64 0, i32 2), align 4, !dbg !410, !tbaa !417
  %cmp21 = icmp eq i32 %25, 1, !dbg !418
  %conv23 = zext i1 %cmp21 to i64, !dbg !418
  call void @klee_assume(i64 %conv23) #2, !dbg !418
  store i32 %n_streams, i32* getelementptr inbounds (%struct.exe_file_system_t* @__exe_fs, i64 0, i32 8), align 8, !dbg !419, !tbaa !420
  %conv24 = zext i32 %n_streams to i64, !dbg !421
  %mul25 = shl nuw nsw i64 %conv24, 5, !dbg !421
  %call26 = call noalias i8* @malloc(i64 %mul25) #2, !dbg !421
  %26 = bitcast i8* %call26 to %struct.exe_disk_file_t*, !dbg !421
  store %struct.exe_disk_file_t* %26, %struct.exe_disk_file_t** getelementptr inbounds (%struct.exe_file_system_t* @__exe_fs, i64 0, i32 10), align 8, !dbg !421, !tbaa !422
  %tobool27 = icmp eq i8* %call26, null, !dbg !423
  br i1 %tobool27, label %if.then28, label %for.cond30.preheader, !dbg !423

if.then28:                                        ; preds = %if.end19
  call void @klee_warning(i8* getelementptr inbounds ([37 x i8]* @.str15, i64 0, i64 0)) #2, !dbg !425
  br label %for.cond30.preheader, !dbg !425

for.cond30.preheader:                             ; preds = %if.end19, %if.then28
  %cmp31107 = icmp eq i32 %n_streams, 0, !dbg !426
  br i1 %cmp31107, label %for.end44, label %for.body33.lr.ph, !dbg !426

for.body33.lr.ph:                                 ; preds = %for.cond30.preheader
  %arraydecay36 = bitcast i64* %sname to i8*, !dbg !428
  br label %for.body33, !dbg !426

for.body33:                                       ; preds = %for.body33, %for.body33.lr.ph
  %indvars.iv111 = phi i64 [ 0, %for.body33.lr.ph ], [ %indvars.iv.next112, %for.body33 ]
  %27 = trunc i64 %indvars.iv111 to i8, !dbg !428
  %add34 = add i8 %27, 49, !dbg !428
  %call37 = call i64 @strlen(i8* %arraydecay36) #8, !dbg !428
  %sub = add i64 %call37, -1, !dbg !428
  %arrayidx38 = getelementptr inbounds [8 x i8]* %tmpcast, i64 0, i64 %sub, !dbg !428
  store i8 %add34, i8* %arrayidx38, align 1, !dbg !428, !tbaa !271
  %28 = load %struct.exe_disk_file_t** getelementptr inbounds (%struct.exe_file_system_t* @__exe_fs, i64 0, i32 10), align 8, !dbg !430, !tbaa !422
  %arrayidx40 = getelementptr inbounds %struct.exe_disk_file_t* %28, i64 %indvars.iv111, !dbg !430
  %29 = load %struct.fill_info_t** @__stream_fill_info, align 8, !dbg !430, !tbaa !281
  %30 = load i32* @__n_stream_fill_info, align 4, !dbg !430, !tbaa !269
  call fastcc void @__create_new_dfile(%struct.exe_disk_file_t* %arrayidx40, i32 %stream_len, i8* null, i8* %arraydecay36, %struct.fill_info_t* %29, i32 %30, %struct.stat64* %s), !dbg !430
  %indvars.iv.next112 = add nuw nsw i64 %indvars.iv111, 1, !dbg !426
  %lftr.wideiv113 = trunc i64 %indvars.iv.next112 to i32, !dbg !426
  %exitcond114 = icmp eq i32 %lftr.wideiv113, %n_streams, !dbg !426
  br i1 %exitcond114, label %for.end44, label %for.body33, !dbg !426

for.end44:                                        ; preds = %for.body33, %for.cond30.preheader
  store i32 0, i32* getelementptr inbounds (%struct.exe_file_system_t* @__exe_fs, i64 0, i32 9), align 4, !dbg !431, !tbaa !432
  store i32 %n_dgrams, i32* getelementptr inbounds (%struct.exe_file_system_t* @__exe_fs, i64 0, i32 11), align 8, !dbg !433, !tbaa !434
  %conv45 = zext i32 %n_dgrams to i64, !dbg !435
  %mul46 = shl nuw nsw i64 %conv45, 5, !dbg !435
  %call47 = call noalias i8* @malloc(i64 %mul46) #2, !dbg !435
  %31 = bitcast i8* %call47 to %struct.exe_disk_file_t*, !dbg !435
  store %struct.exe_disk_file_t* %31, %struct.exe_disk_file_t** getelementptr inbounds (%struct.exe_file_system_t* @__exe_fs, i64 0, i32 13), align 8, !dbg !435, !tbaa !436
  %tobool48 = icmp eq i8* %call47, null, !dbg !437
  br i1 %tobool48, label %if.then49, label %for.cond51.preheader, !dbg !437

if.then49:                                        ; preds = %for.end44
  call void @klee_warning(i8* getelementptr inbounds ([36 x i8]* @.str16, i64 0, i64 0)) #2, !dbg !439
  br label %for.cond51.preheader, !dbg !439

for.cond51.preheader:                             ; preds = %for.end44, %if.then49
  %cmp52105 = icmp eq i32 %n_dgrams, 0, !dbg !440
  br i1 %cmp52105, label %for.end66, label %for.body54, !dbg !440

for.body54:                                       ; preds = %for.cond51.preheader, %for.body54
  %indvars.iv = phi i64 [ %indvars.iv.next, %for.body54 ], [ 0, %for.cond51.preheader ]
  %32 = trunc i64 %indvars.iv to i8, !dbg !442
  %add55 = add i8 %32, 49, !dbg !442
  %call58 = call i64 @strlen(i8* %1) #8, !dbg !442
  %sub59 = add i64 %call58, -1, !dbg !442
  %arrayidx60 = getelementptr inbounds [7 x i8]* %dname, i64 0, i64 %sub59, !dbg !442
  store i8 %add55, i8* %arrayidx60, align 1, !dbg !442, !tbaa !271
  %33 = load %struct.exe_disk_file_t** getelementptr inbounds (%struct.exe_file_system_t* @__exe_fs, i64 0, i32 13), align 8, !dbg !444, !tbaa !436
  %arrayidx62 = getelementptr inbounds %struct.exe_disk_file_t* %33, i64 %indvars.iv, !dbg !444
  %34 = load %struct.fill_info_t** @__dgram_fill_info, align 8, !dbg !444, !tbaa !281
  %35 = load i32* @__n_dgram_fill_info, align 4, !dbg !444, !tbaa !269
  call fastcc void @__create_new_dfile(%struct.exe_disk_file_t* %arrayidx62, i32 %dgram_len, i8* null, i8* %1, %struct.fill_info_t* %34, i32 %35, %struct.stat64* %s), !dbg !444
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1, !dbg !440
  %lftr.wideiv = trunc i64 %indvars.iv.next to i32, !dbg !440
  %exitcond = icmp eq i32 %lftr.wideiv, %n_dgrams, !dbg !440
  br i1 %exitcond, label %for.end66, label %for.body54, !dbg !440

for.end66:                                        ; preds = %for.body54, %for.cond51.preheader
  store i32 0, i32* getelementptr inbounds (%struct.exe_file_system_t* @__exe_fs, i64 0, i32 12), align 4, !dbg !445, !tbaa !446
  call void @llvm.dbg.value(metadata !23, i64 0, metadata !121), !dbg !447
  %call71 = call i64 (i64, ...)* @syscall(i64 8, i32 0, i64 0, i32 1) #2, !dbg !449
  call void @llvm.dbg.value(metadata !{i64 %call71}, i64 0, metadata !122), !dbg !449
  %cmp72 = icmp eq i64 %call71, -1, !dbg !451
  br i1 %cmp72, label %for.inc78, label %if.then74, !dbg !451

if.then74:                                        ; preds = %for.end66
  store i64 %call71, i64* getelementptr inbounds ({ [32 x %struct.exe_file_t], i32, i32, i32, [4 x i8] }* @__exe_env, i64 0, i32 0, i64 0, i32 2), align 8, !dbg !453, !tbaa !454
  br label %for.inc78, !dbg !453

for.inc78:                                        ; preds = %for.end66, %if.then74
  %call71.1 = call i64 (i64, ...)* @syscall(i64 8, i32 1, i64 0, i32 1) #2, !dbg !449
  call void @llvm.dbg.value(metadata !{i64 %call71}, i64 0, metadata !122), !dbg !449
  %cmp72.1 = icmp eq i64 %call71.1, -1, !dbg !451
  br i1 %cmp72.1, label %for.inc78.1, label %if.then74.1, !dbg !451

if.then74.1:                                      ; preds = %for.inc78
  store i64 %call71.1, i64* getelementptr inbounds ({ [32 x %struct.exe_file_t], i32, i32, i32, [4 x i8] }* @__exe_env, i64 0, i32 0, i64 1, i32 2), align 8, !dbg !453, !tbaa !454
  br label %for.inc78.1, !dbg !453

for.inc78.1:                                      ; preds = %if.then74.1, %for.inc78
  %call71.2 = call i64 (i64, ...)* @syscall(i64 8, i32 2, i64 0, i32 1) #2, !dbg !449
  call void @llvm.dbg.value(metadata !{i64 %call71}, i64 0, metadata !122), !dbg !449
  %cmp72.2 = icmp eq i64 %call71.2, -1, !dbg !451
  br i1 %cmp72.2, label %for.inc78.2, label %if.then74.2, !dbg !451

if.then74.2:                                      ; preds = %for.inc78.1
  store i64 %call71.2, i64* getelementptr inbounds ({ [32 x %struct.exe_file_t], i32, i32, i32, [4 x i8] }* @__exe_env, i64 0, i32 0, i64 2, i32 2), align 8, !dbg !453, !tbaa !454
  br label %for.inc78.2, !dbg !453

for.inc78.2:                                      ; preds = %if.then74.2, %for.inc78.1
  call void @llvm.lifetime.end(i64 144, i8* %2) #2, !dbg !455
  ret void, !dbg !455
}

; Function Attrs: nounwind
declare void @llvm.lifetime.start(i64, i8* nocapture) #2

; Function Attrs: nounwind
declare noalias i8* @malloc(i64) #5

; Function Attrs: nounwind uwtable
define internal fastcc void @__create_new_dfile(%struct.exe_disk_file_t* nocapture %dfile, i32 %size, i8* %contents, i8* %name, %struct.fill_info_t* nocapture readonly %fill_info, i32 %n_fill_info, %struct.stat64* nocapture readonly %defaults) #0 {
entry:
  %sname = alloca [256 x i8], align 16
  call void @llvm.dbg.value(metadata !23, i64 0, metadata !167), !dbg !456
  %call = call noalias i8* @malloc(i64 144) #2, !dbg !457
  %0 = bitcast i8* %call to %struct.stat64*, !dbg !457
  call void @llvm.dbg.value(metadata !{%struct.stat64* %0}, i64 0, metadata !168), !dbg !457
  %1 = getelementptr inbounds [256 x i8]* %sname, i64 0, i64 0, !dbg !458
  call void @llvm.lifetime.start(i64 256, i8* %1) #2, !dbg !458
  call void @llvm.dbg.declare(metadata !{[256 x i8]* %sname}, metadata !170), !dbg !458
  %2 = load i8* %name, align 1, !dbg !459, !tbaa !271
  %tobool3 = icmp eq i8 %2, 0, !dbg !459
  %sub.ptr.rhs.cast2 = ptrtoint i8* %name to i64, !dbg !461
  br i1 %tobool3, label %for.end, label %for.body, !dbg !459

for.body:                                         ; preds = %entry, %for.body
  %arrayidx47 = phi i8* [ %arrayidx4, %for.body ], [ %1, %entry ]
  %3 = phi i8 [ %4, %for.body ], [ %2, %entry ]
  %sp.06 = phi i8* [ %incdec.ptr, %for.body ], [ %name, %entry ]
  store i8 %3, i8* %arrayidx47, align 1, !dbg !462, !tbaa !271
  %incdec.ptr = getelementptr inbounds i8* %sp.06, i64 1, !dbg !459
  call void @llvm.dbg.value(metadata !{i8* %incdec.ptr}, i64 0, metadata !169), !dbg !459
  %4 = load i8* %incdec.ptr, align 1, !dbg !459, !tbaa !271
  %tobool = icmp eq i8 %4, 0, !dbg !459
  %sub.ptr.lhs.cast1 = ptrtoint i8* %incdec.ptr to i64, !dbg !461
  %sub.ptr.sub3 = sub i64 %sub.ptr.lhs.cast1, %sub.ptr.rhs.cast2, !dbg !461
  %arrayidx4 = getelementptr inbounds [256 x i8]* %sname, i64 0, i64 %sub.ptr.sub3, !dbg !461
  br i1 %tobool, label %for.end, label %for.body, !dbg !459

for.end:                                          ; preds = %for.body, %entry
  %arrayidx4.lcssa = phi i8* [ %1, %entry ], [ %arrayidx4, %for.body ]
  call void @llvm.memcpy.p0i8.p0i8.i64(i8* %arrayidx4.lcssa, i8* getelementptr inbounds ([6 x i8]* @.str17, i64 0, i64 0), i64 6, i32 1, i1 false), !dbg !461
  %tobool5 = icmp ne i8* %contents, null, !dbg !463
  %tobool6 = icmp ne i32 %size, 0, !dbg !463
  %or.cond = or i1 %tobool5, %tobool6, !dbg !463
  br i1 %or.cond, label %cond.end, label %cond.false, !dbg !463

cond.false:                                       ; preds = %for.end
  call void @__assert_fail(i8* getelementptr inbounds ([17 x i8]* @.str18, i64 0, i64 0), i8* getelementptr inbounds ([71 x i8]* @.str2, i64 0, i64 0), i32 113, i8* getelementptr inbounds ([136 x i8]* @__PRETTY_FUNCTION__.__create_new_dfile, i64 0, i64 0)) #7, !dbg !463
  unreachable, !dbg !463

cond.end:                                         ; preds = %for.end
  %size7 = getelementptr inbounds %struct.exe_disk_file_t* %dfile, i64 0, i32 0, !dbg !464
  store i32 %size, i32* %size7, align 4, !dbg !464, !tbaa !285
  call void @llvm.dbg.value(metadata !465, i64 0, metadata !175), !dbg !466
  %conv = zext i32 %size to i64, !dbg !467
  %call9 = call noalias i8* @malloc(i64 %conv) #2, !dbg !467
  br i1 %tobool5, label %if.then, label %if.else, !dbg !470

if.then:                                          ; preds = %cond.end
  call void @llvm.dbg.value(metadata !{i8* %call9}, i64 0, metadata !175), !dbg !467
  call void @llvm.memcpy.p0i8.p0i8.i64(i8* %call9, i8* %contents, i64 %conv, i32 1, i1 false), !dbg !471
  %contents11 = getelementptr inbounds %struct.exe_disk_file_t* %dfile, i64 0, i32 1, !dbg !472
  store i8* %contents, i8** %contents11, align 8, !dbg !472, !tbaa !265
  br label %if.end, !dbg !473

if.else:                                          ; preds = %cond.end
  %contents15 = getelementptr inbounds %struct.exe_disk_file_t* %dfile, i64 0, i32 1, !dbg !474
  store i8* %call9, i8** %contents15, align 8, !dbg !474, !tbaa !265
  br label %if.end

if.end:                                           ; preds = %if.else, %if.then
  %5 = phi i8* [ %contents, %if.then ], [ %call9, %if.else ]
  %original_file.0 = phi i8* [ %call9, %if.then ], [ null, %if.else ]
  %tobool16 = icmp eq i32 %n_fill_info, 0, !dbg !476
  br i1 %tobool16, label %if.else21, label %if.then17, !dbg !476

if.then17:                                        ; preds = %if.end
  call void @__fill_blocks(%struct.exe_disk_file_t* %dfile, %struct.fill_info_t* %fill_info, i32 %n_fill_info, i32 1), !dbg !478
  %contents18 = getelementptr inbounds %struct.exe_disk_file_t* %dfile, i64 0, i32 1, !dbg !480
  %6 = load i8** %contents18, align 8, !dbg !480, !tbaa !265
  %7 = load i32* %size7, align 4, !dbg !480, !tbaa !285
  %conv20 = zext i32 %7 to i64, !dbg !480
  call void @klee_make_symbolic(i8* %6, i64 %conv20, i8* %name) #2, !dbg !480
  br label %if.end25, !dbg !481

if.else21:                                        ; preds = %if.end
  call void @klee_make_symbolic(i8* %5, i64 %conv, i8* %name) #2, !dbg !482
  call void @__fill_blocks(%struct.exe_disk_file_t* %dfile, %struct.fill_info_t* %fill_info, i32 0, i32 0), !dbg !484
  br label %if.end25

if.end25:                                         ; preds = %if.else21, %if.then17
  br i1 %tobool5, label %for.cond28.preheader, label %if.end44, !dbg !485

for.cond28.preheader:                             ; preds = %if.end25
  %8 = load i32* %size7, align 4, !dbg !486, !tbaa !285
  %cmp1 = icmp eq i32 %8, 0, !dbg !486
  br i1 %cmp1, label %for.end43, label %for.body31.lr.ph, !dbg !486

for.body31.lr.ph:                                 ; preds = %for.cond28.preheader
  %contents32 = getelementptr inbounds %struct.exe_disk_file_t* %dfile, i64 0, i32 1, !dbg !488
  br label %for.body31, !dbg !486

for.body31:                                       ; preds = %for.body31.lr.ph, %for.body31
  %i.02 = phi i32 [ 0, %for.body31.lr.ph ], [ %inc, %for.body31 ]
  %9 = load i8** %contents32, align 8, !dbg !488, !tbaa !265
  %idxprom = zext i32 %i.02 to i64, !dbg !488
  %arrayidx34 = getelementptr inbounds i8* %9, i64 %idxprom, !dbg !488
  %10 = load i8* %arrayidx34, align 1, !dbg !488, !tbaa !271
  %arrayidx37 = getelementptr inbounds i8* %original_file.0, i64 %idxprom, !dbg !488
  %11 = load i8* %arrayidx37, align 1, !dbg !488, !tbaa !271
  %cmp39 = icmp eq i8 %10, %11, !dbg !488
  %conv41 = zext i1 %cmp39 to i64, !dbg !488
  call void @klee_prefer_cex(i8* %9, i64 %conv41) #2, !dbg !488
  %inc = add i32 %i.02, 1, !dbg !486
  call void @llvm.dbg.value(metadata !{i32 %inc}, i64 0, metadata !176), !dbg !486
  %12 = load i32* %size7, align 4, !dbg !486, !tbaa !285
  %cmp = icmp ult i32 %inc, %12, !dbg !486
  br i1 %cmp, label %for.body31, label %for.end43, !dbg !486

for.end43:                                        ; preds = %for.body31, %for.cond28.preheader
  call void @free(i8* %original_file.0) #2, !dbg !490
  br label %if.end44, !dbg !491

if.end44:                                         ; preds = %for.end43, %if.end25
  %st_size = getelementptr inbounds i8* %call, i64 48, !dbg !492
  %13 = bitcast i8* %st_size to i64*, !dbg !492
  store i64 %conv, i64* %13, align 8, !dbg !492, !tbaa !308
  call void @klee_make_symbolic(i8* %call, i64 144, i8* %1) #2, !dbg !493
  %st_ino = getelementptr inbounds i8* %call, i64 8, !dbg !494
  %14 = bitcast i8* %st_ino to i64*, !dbg !494
  %15 = load i64* %14, align 8, !dbg !494, !tbaa !496
  %call46 = call i32 @klee_is_symbolic(i64 %15) #2, !dbg !494
  %tobool47 = icmp eq i32 %call46, 0, !dbg !494
  %16 = load i64* %14, align 8, !dbg !494, !tbaa !496
  %and = and i64 %16, 2147483647, !dbg !494
  %cmp49 = icmp eq i64 %and, 0, !dbg !494
  %or.cond9 = and i1 %tobool47, %cmp49, !dbg !494
  br i1 %or.cond9, label %if.then51, label %if.end54, !dbg !494

if.then51:                                        ; preds = %if.end44
  %st_ino52 = getelementptr inbounds %struct.stat64* %defaults, i64 0, i32 1, !dbg !497
  %17 = load i64* %st_ino52, align 8, !dbg !497, !tbaa !496
  store i64 %17, i64* %14, align 8, !dbg !497, !tbaa !496
  br label %if.end54, !dbg !497

if.end54:                                         ; preds = %if.end44, %if.then51
  %18 = phi i64 [ %17, %if.then51 ], [ %16, %if.end44 ]
  %and56 = and i64 %18, 2147483647, !dbg !498
  %cmp57 = icmp ne i64 %and56, 0, !dbg !498
  %conv59 = zext i1 %cmp57 to i64, !dbg !498
  call void @klee_assume(i64 %conv59) #2, !dbg !498
  %st_blksize = getelementptr inbounds i8* %call, i64 56, !dbg !499
  %19 = bitcast i8* %st_blksize to i64*, !dbg !499
  %20 = load i64* %19, align 8, !dbg !499, !tbaa !500
  %cmp61 = icmp ult i64 %20, 65536, !dbg !499
  %conv63 = zext i1 %cmp61 to i64, !dbg !499
  call void @klee_assume(i64 %conv63) #2, !dbg !499
  %st_mode = getelementptr inbounds i8* %call, i64 24, !dbg !501
  %21 = bitcast i8* %st_mode to i32*, !dbg !501
  %22 = load i32* %21, align 4, !dbg !501, !tbaa !502
  %and64 = and i32 %22, -61952, !dbg !501
  %lnot = icmp eq i32 %and64, 0, !dbg !501
  %conv66 = zext i1 %lnot to i64, !dbg !501
  call void @klee_prefer_cex(i8* %call, i64 %conv66) #2, !dbg !501
  %st_dev = bitcast i8* %call to i64*, !dbg !503
  %23 = load i64* %st_dev, align 8, !dbg !503, !tbaa !504
  %st_dev67 = getelementptr inbounds %struct.stat64* %defaults, i64 0, i32 0, !dbg !503
  %24 = load i64* %st_dev67, align 8, !dbg !503, !tbaa !504
  %cmp68 = icmp eq i64 %23, %24, !dbg !503
  %conv70 = zext i1 %cmp68 to i64, !dbg !503
  call void @klee_prefer_cex(i8* %call, i64 %conv70) #2, !dbg !503
  %st_rdev = getelementptr inbounds i8* %call, i64 40, !dbg !505
  %25 = bitcast i8* %st_rdev to i64*, !dbg !505
  %26 = load i64* %25, align 8, !dbg !505, !tbaa !506
  %st_rdev71 = getelementptr inbounds %struct.stat64* %defaults, i64 0, i32 7, !dbg !505
  %27 = load i64* %st_rdev71, align 8, !dbg !505, !tbaa !506
  %cmp72 = icmp eq i64 %26, %27, !dbg !505
  %conv74 = zext i1 %cmp72 to i64, !dbg !505
  call void @klee_prefer_cex(i8* %call, i64 %conv74) #2, !dbg !505
  %28 = load i32* %21, align 4, !dbg !507, !tbaa !502
  %and76 = and i32 %28, 448, !dbg !507
  %cmp77 = icmp eq i32 %and76, 384, !dbg !507
  %conv79 = zext i1 %cmp77 to i64, !dbg !507
  call void @klee_prefer_cex(i8* %call, i64 %conv79) #2, !dbg !507
  %29 = load i32* %21, align 4, !dbg !508, !tbaa !502
  %and81 = and i32 %29, 56, !dbg !508
  %cmp82 = icmp eq i32 %and81, 16, !dbg !508
  %conv84 = zext i1 %cmp82 to i64, !dbg !508
  call void @klee_prefer_cex(i8* %call, i64 %conv84) #2, !dbg !508
  %30 = load i32* %21, align 4, !dbg !509, !tbaa !502
  %and86 = and i32 %30, 7, !dbg !509
  %cmp87 = icmp eq i32 %and86, 2, !dbg !509
  %conv89 = zext i1 %cmp87 to i64, !dbg !509
  call void @klee_prefer_cex(i8* %call, i64 %conv89) #2, !dbg !509
  %31 = load i32* %21, align 4, !dbg !510, !tbaa !502
  %and91 = and i32 %31, 61440, !dbg !510
  %cmp92 = icmp eq i32 %and91, 32768, !dbg !510
  %conv94 = zext i1 %cmp92 to i64, !dbg !510
  call void @klee_prefer_cex(i8* %call, i64 %conv94) #2, !dbg !510
  %st_nlink = getelementptr inbounds i8* %call, i64 16, !dbg !511
  %32 = bitcast i8* %st_nlink to i64*, !dbg !511
  %33 = load i64* %32, align 8, !dbg !511, !tbaa !512
  %cmp95 = icmp eq i64 %33, 1, !dbg !511
  %conv97 = zext i1 %cmp95 to i64, !dbg !511
  call void @klee_prefer_cex(i8* %call, i64 %conv97) #2, !dbg !511
  %st_uid = getelementptr inbounds i8* %call, i64 28, !dbg !513
  %34 = bitcast i8* %st_uid to i32*, !dbg !513
  %35 = load i32* %34, align 4, !dbg !513, !tbaa !514
  %st_uid98 = getelementptr inbounds %struct.stat64* %defaults, i64 0, i32 4, !dbg !513
  %36 = load i32* %st_uid98, align 4, !dbg !513, !tbaa !514
  %cmp99 = icmp eq i32 %35, %36, !dbg !513
  %conv101 = zext i1 %cmp99 to i64, !dbg !513
  call void @klee_prefer_cex(i8* %call, i64 %conv101) #2, !dbg !513
  %st_gid = getelementptr inbounds i8* %call, i64 32, !dbg !515
  %37 = bitcast i8* %st_gid to i32*, !dbg !515
  %38 = load i32* %37, align 4, !dbg !515, !tbaa !516
  %st_gid102 = getelementptr inbounds %struct.stat64* %defaults, i64 0, i32 5, !dbg !515
  %39 = load i32* %st_gid102, align 4, !dbg !515, !tbaa !516
  %cmp103 = icmp eq i32 %38, %39, !dbg !515
  %conv105 = zext i1 %cmp103 to i64, !dbg !515
  call void @klee_prefer_cex(i8* %call, i64 %conv105) #2, !dbg !515
  %40 = load i64* %19, align 8, !dbg !517, !tbaa !500
  %cmp107 = icmp eq i64 %40, 4096, !dbg !517
  %conv109 = zext i1 %cmp107 to i64, !dbg !517
  call void @klee_prefer_cex(i8* %call, i64 %conv109) #2, !dbg !517
  %st_atim = getelementptr inbounds i8* %call, i64 72, !dbg !518
  %tv_sec = bitcast i8* %st_atim to i64*, !dbg !518
  %41 = load i64* %tv_sec, align 8, !dbg !518, !tbaa !519
  %tv_sec111 = getelementptr inbounds %struct.stat64* %defaults, i64 0, i32 11, i32 0, !dbg !518
  %42 = load i64* %tv_sec111, align 8, !dbg !518, !tbaa !519
  %cmp112 = icmp eq i64 %41, %42, !dbg !518
  %conv114 = zext i1 %cmp112 to i64, !dbg !518
  call void @klee_prefer_cex(i8* %call, i64 %conv114) #2, !dbg !518
  %st_mtim = getelementptr inbounds i8* %call, i64 88, !dbg !520
  %tv_sec115 = bitcast i8* %st_mtim to i64*, !dbg !520
  %43 = load i64* %tv_sec115, align 8, !dbg !520, !tbaa !521
  %tv_sec117 = getelementptr inbounds %struct.stat64* %defaults, i64 0, i32 12, i32 0, !dbg !520
  %44 = load i64* %tv_sec117, align 8, !dbg !520, !tbaa !521
  %cmp118 = icmp eq i64 %43, %44, !dbg !520
  %conv120 = zext i1 %cmp118 to i64, !dbg !520
  call void @klee_prefer_cex(i8* %call, i64 %conv120) #2, !dbg !520
  %st_ctim = getelementptr inbounds i8* %call, i64 104, !dbg !522
  %tv_sec121 = bitcast i8* %st_ctim to i64*, !dbg !522
  %45 = load i64* %tv_sec121, align 8, !dbg !522, !tbaa !523
  %tv_sec123 = getelementptr inbounds %struct.stat64* %defaults, i64 0, i32 13, i32 0, !dbg !522
  %46 = load i64* %tv_sec123, align 8, !dbg !522, !tbaa !523
  %cmp124 = icmp eq i64 %45, %46, !dbg !522
  %conv126 = zext i1 %cmp124 to i64, !dbg !522
  call void @klee_prefer_cex(i8* %call, i64 %conv126) #2, !dbg !522
  br i1 %tobool5, label %if.then128, label %if.else137, !dbg !524

if.then128:                                       ; preds = %if.end54
  %47 = load i64* %13, align 8, !dbg !526, !tbaa !308
  %cmp130 = icmp sgt i64 %47, -1, !dbg !526
  %cmp134 = icmp sle i64 %47, %conv, !dbg !526
  %cmp134. = and i1 %cmp130, %cmp134, !dbg !526
  %conv136 = zext i1 %cmp134. to i64
  call void @klee_assume(i64 %conv136) #2, !dbg !526
  br label %if.end141, !dbg !528

if.else137:                                       ; preds = %if.end54
  %48 = load i32* %size7, align 4, !dbg !529, !tbaa !285
  %conv139 = zext i32 %48 to i64, !dbg !529
  store i64 %conv139, i64* %13, align 8, !dbg !529, !tbaa !308
  br label %if.end141

if.end141:                                        ; preds = %if.else137, %if.then128
  %st_blocks = getelementptr inbounds i8* %call, i64 64, !dbg !531
  %49 = bitcast i8* %st_blocks to i64*, !dbg !531
  store i64 8, i64* %49, align 8, !dbg !531, !tbaa !532
  %stat = getelementptr inbounds %struct.exe_disk_file_t* %dfile, i64 0, i32 3, !dbg !533
  store %struct.stat64* %0, %struct.stat64** %stat, align 8, !dbg !533, !tbaa !534
  call void @llvm.lifetime.end(i64 256, i8* %1) #2, !dbg !535
  ret void, !dbg !535
}

declare void @klee_make_symbolic(i8*, i64, i8*) #3

declare void @klee_warning(i8*) #3

; Function Attrs: nounwind readonly
declare i64 @strlen(i8* nocapture) #6

; Function Attrs: nounwind
declare i64 @syscall(i64, ...) #5

; Function Attrs: nounwind
declare void @llvm.lifetime.end(i64, i8* nocapture) #2

; Function Attrs: nounwind uwtable
define %struct.exe_disk_file_t* @klee_init_cp_file(i8* %path, i32 %flags) #0 {
entry:
  %def = alloca %struct.stat64, align 8
  %buf = alloca i8*, align 8
  call void @llvm.dbg.value(metadata !{i8* %path}, i64 0, metadata !144), !dbg !536
  call void @llvm.dbg.value(metadata !{i32 %flags}, i64 0, metadata !145), !dbg !536
  %0 = bitcast %struct.stat64* %def to i8*, !dbg !537
  call void @llvm.lifetime.start(i64 144, i8* %0) #2, !dbg !537
  call void @llvm.dbg.declare(metadata !{%struct.stat64* %def}, metadata !148), !dbg !537
  call void @llvm.dbg.declare(metadata !{i8** %buf}, metadata !149), !dbg !538
  %call = call i32 @native_read_file(i8* %path, i32 %flags, i8** %buf), !dbg !539
  call void @llvm.dbg.value(metadata !{i32 %call}, i64 0, metadata !147), !dbg !539
  %cmp = icmp slt i32 %call, 0, !dbg !540
  br i1 %cmp, label %cleanup, label %if.end, !dbg !540

if.end:                                           ; preds = %entry
  call void @llvm.dbg.value(metadata !336, i64 0, metadata !542) #2, !dbg !544
  call void @llvm.dbg.value(metadata !{%struct.stat64* %def}, i64 0, metadata !545) #2, !dbg !544
  %call.i = call i32 @__xstat64(i32 1, i8* getelementptr inbounds ([2 x i8]* @.str6, i64 0, i64 0), %struct.stat64* %def) #2, !dbg !546
  call void @llvm.dbg.value(metadata !23, i64 0, metadata !146), !dbg !547
  %1 = load i32* getelementptr inbounds (%struct.exe_file_system_t* @__exe_fs, i64 0, i32 2), align 8, !dbg !547, !tbaa !359
  %cmp227 = icmp eq i32 %1, 0, !dbg !547
  br i1 %cmp227, label %cleanup, label %for.body.lr.ph, !dbg !547

for.body.lr.ph:                                   ; preds = %if.end
  %2 = load %struct.exe_disk_file_t** getelementptr inbounds (%struct.exe_file_system_t* @__exe_fs, i64 0, i32 7), align 8, !dbg !549, !tbaa !361
  br label %for.body, !dbg !547

for.cond:                                         ; preds = %for.body
  %cmp2 = icmp ult i32 %inc, %1, !dbg !547
  br i1 %cmp2, label %for.body, label %cleanup, !dbg !547

for.body:                                         ; preds = %for.body.lr.ph, %for.cond
  %k.028 = phi i32 [ 0, %for.body.lr.ph ], [ %inc, %for.cond ]
  %idxprom = zext i32 %k.028 to i64, !dbg !549
  %stat = getelementptr inbounds %struct.exe_disk_file_t* %2, i64 %idxprom, i32 3, !dbg !549
  %3 = load %struct.stat64** %stat, align 8, !dbg !549, !tbaa !534
  %tobool = icmp eq %struct.stat64* %3, null, !dbg !549
  %inc = add i32 %k.028, 1, !dbg !547
  call void @llvm.dbg.value(metadata !{i32 %inc}, i64 0, metadata !146), !dbg !547
  br i1 %tobool, label %if.then3, label %for.cond, !dbg !549

if.then3:                                         ; preds = %for.body
  %arrayidx = getelementptr inbounds %struct.exe_disk_file_t* %2, i64 %idxprom, !dbg !549
  call void @llvm.dbg.value(metadata !{i8** %buf}, i64 0, metadata !149), !dbg !552
  %4 = load i8** %buf, align 8, !dbg !552, !tbaa !281
  call fastcc void @__create_new_dfile(%struct.exe_disk_file_t* %arrayidx, i32 %call, i8* %4, i8* %path, %struct.fill_info_t* null, i32 0, %struct.stat64* %def), !dbg !552
  %call6 = call i64 @strlen(i8* %path) #8, !dbg !554
  %add = add i64 %call6, 1, !dbg !554
  %call7 = call noalias i8* @malloc(i64 %add) #2, !dbg !554
  %5 = load %struct.exe_disk_file_t** getelementptr inbounds (%struct.exe_file_system_t* @__exe_fs, i64 0, i32 7), align 8, !dbg !554, !tbaa !361
  %path10 = getelementptr inbounds %struct.exe_disk_file_t* %5, i64 %idxprom, i32 2, !dbg !554
  store i8* %call7, i8** %path10, align 8, !dbg !554, !tbaa !555
  %call14 = call i8* @strcpy(i8* %call7, i8* %path) #2, !dbg !556
  %6 = load %struct.exe_disk_file_t** getelementptr inbounds (%struct.exe_file_system_t* @__exe_fs, i64 0, i32 7), align 8, !dbg !557, !tbaa !361
  %arrayidx16 = getelementptr inbounds %struct.exe_disk_file_t* %6, i64 %idxprom, !dbg !557
  br label %cleanup, !dbg !557

cleanup:                                          ; preds = %for.cond, %if.end, %entry, %if.then3
  %retval.0 = phi %struct.exe_disk_file_t* [ %arrayidx16, %if.then3 ], [ null, %entry ], [ null, %if.end ], [ null, %for.cond ]
  call void @llvm.lifetime.end(i64 144, i8* %0) #2, !dbg !558
  ret %struct.exe_disk_file_t* %retval.0, !dbg !558
}

; Function Attrs: nounwind
declare i8* @strcpy(i8*, i8* nocapture readonly) #5

declare void @klee_prefer_cex(i8*, i64) #3

; Function Attrs: nounwind
declare void @free(i8* nocapture) #5

declare i32 @klee_is_symbolic(i64) #3

; Function Attrs: nounwind
declare i32 @__xstat64(i32, i8*, %struct.stat64*) #5

; Function Attrs: nounwind readnone
declare void @llvm.dbg.value(metadata, i64, metadata) #1

attributes #0 = { nounwind uwtable "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
attributes #1 = { nounwind readnone }
attributes #2 = { nounwind }
attributes #3 = { "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
attributes #4 = { noreturn nounwind "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
attributes #5 = { nounwind "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
attributes #6 = { nounwind readonly "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
attributes #7 = { noreturn nounwind }
attributes #8 = { nounwind readonly }

!llvm.dbg.cu = !{!0}
!llvm.module.flags = !{!240, !241}
!llvm.ident = !{!242}

!0 = metadata !{i32 786449, metadata !1, i32 1, metadata !"clang version 3.4 (tags/RELEASE_34/final)", i1 true, metadata !"", i32 0, metadata !2, metadata !23, metadata !24, metadata !187, metadata !23, metadata !""} ; [ DW_TAG_compile_unit ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c] [DW_LANG_C89]
!1 = metadata !{metadata !"/home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c", metadata !"/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX"}
!2 = metadata !{metadata !3}
!3 = metadata !{i32 786436, metadata !4, metadata !5, metadata !"", i32 91, i64 32, i64 32, i32 0, i32 0, null, metadata !19, i32 0, null, null, null} ; [ DW_TAG_enumeration_type ] [line 91, size 32, align 32, offset 0] [def] [from ]
!4 = metadata !{metadata !"/home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd.h", metadata !"/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX"}
!5 = metadata !{i32 786451, metadata !4, null, metadata !"", i32 89, i64 192, i64 64, i32 0, i32 0, null, metadata !6, i32 0, null, null, null} ; [ DW_TAG_structure_type ] [line 89, size 192, align 64, offset 0] [def] [from ]
!6 = metadata !{metadata !7, metadata !9, metadata !10, metadata !11}
!7 = metadata !{i32 786445, metadata !4, metadata !5, metadata !"offset", i32 90, i64 32, i64 32, i64 0, i32 0, metadata !8} ; [ DW_TAG_member ] [offset] [line 90, size 32, align 32, offset 0] [from unsigned int]
!8 = metadata !{i32 786468, null, null, metadata !"unsigned int", i32 0, i64 32, i64 32, i64 0, i32 0, i32 7} ; [ DW_TAG_base_type ] [unsigned int] [line 0, size 32, align 32, offset 0, enc DW_ATE_unsigned]
!9 = metadata !{i32 786445, metadata !4, metadata !5, metadata !"fill_method", i32 91, i64 32, i64 32, i64 32, i32 0, metadata !3} ; [ DW_TAG_member ] [fill_method] [line 91, size 32, align 32, offset 32] [from ]
!10 = metadata !{i32 786445, metadata !4, metadata !5, metadata !"length", i32 92, i64 32, i64 32, i64 64, i32 0, metadata !8} ; [ DW_TAG_member ] [length] [line 92, size 32, align 32, offset 64] [from unsigned int]
!11 = metadata !{i32 786445, metadata !4, metadata !5, metadata !"arg", i32 96, i64 64, i64 64, i64 128, i32 0, metadata !12} ; [ DW_TAG_member ] [arg] [line 96, size 64, align 64, offset 128] [from ]
!12 = metadata !{i32 786455, metadata !4, metadata !5, metadata !"", i32 93, i64 64, i64 64, i64 0, i32 0, null, metadata !13, i32 0, null, null, null} ; [ DW_TAG_union_type ] [line 93, size 64, align 64, offset 0] [def] [from ]
!13 = metadata !{metadata !14, metadata !16}
!14 = metadata !{i32 786445, metadata !4, metadata !12, metadata !"value", i32 94, i64 32, i64 32, i64 0, i32 0, metadata !15} ; [ DW_TAG_member ] [value] [line 94, size 32, align 32, offset 0] [from int]
!15 = metadata !{i32 786468, null, null, metadata !"int", i32 0, i64 32, i64 32, i64 0, i32 0, i32 5} ; [ DW_TAG_base_type ] [int] [line 0, size 32, align 32, offset 0, enc DW_ATE_signed]
!16 = metadata !{i32 786445, metadata !4, metadata !12, metadata !"string", i32 95, i64 64, i64 64, i64 0, i32 0, metadata !17} ; [ DW_TAG_member ] [string] [line 95, size 64, align 64, offset 0] [from ]
!17 = metadata !{i32 786447, null, null, metadata !"", i32 0, i64 64, i64 64, i64 0, i32 0, metadata !18} ; [ DW_TAG_pointer_type ] [line 0, size 64, align 64, offset 0] [from char]
!18 = metadata !{i32 786468, null, null, metadata !"char", i32 0, i64 8, i64 8, i64 0, i32 0, i32 6} ; [ DW_TAG_base_type ] [char] [line 0, size 8, align 8, offset 0, enc DW_ATE_signed_char]
!19 = metadata !{metadata !20, metadata !21, metadata !22}
!20 = metadata !{i32 786472, metadata !"fill_set", i64 0} ; [ DW_TAG_enumerator ] [fill_set :: 0]
!21 = metadata !{i32 786472, metadata !"fill_copy", i64 1} ; [ DW_TAG_enumerator ] [fill_copy :: 1]
!22 = metadata !{i32 786472, metadata !"fill_file", i64 2} ; [ DW_TAG_enumerator ] [fill_file :: 2]
!23 = metadata !{i32 0}
!24 = metadata !{metadata !25, metadata !92, metadata !125, metadata !140, metadata !150, metadata !156, metadata !179}
!25 = metadata !{i32 786478, metadata !1, metadata !26, metadata !"__fill_blocks", metadata !"__fill_blocks", metadata !"", i32 56, metadata !27, i1 false, i1 true, i32 0, i32 0, null, i32 256, i1 true, void (%struct.exe_disk_file_t*, %struct.fill_info_t*, i32, i32)* @__fill_blocks, null, null, metadata !80, i32 56} ; [ DW_TAG_subprogram ] [line 56] [def] [__fill_blocks]
!26 = metadata !{i32 786473, metadata !1}         ; [ DW_TAG_file_type ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!27 = metadata !{i32 786453, i32 0, null, metadata !"", i32 0, i64 0, i64 0, i64 0, i32 0, null, metadata !28, i32 0, null, null, null} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ]
!28 = metadata !{null, metadata !29, metadata !77, metadata !8, metadata !15}
!29 = metadata !{i32 786447, null, null, metadata !"", i32 0, i64 64, i64 64, i64 0, i32 0, metadata !30} ; [ DW_TAG_pointer_type ] [line 0, size 64, align 64, offset 0] [from exe_disk_file_t]
!30 = metadata !{i32 786454, metadata !4, null, metadata !"exe_disk_file_t", i32 25, i64 0, i64 0, i64 0, i32 0, metadata !31} ; [ DW_TAG_typedef ] [exe_disk_file_t] [line 25, size 0, align 0, offset 0] [from ]
!31 = metadata !{i32 786451, metadata !4, null, metadata !"", i32 20, i64 256, i64 64, i32 0, i32 0, null, metadata !32, i32 0, null, null, null} ; [ DW_TAG_structure_type ] [line 20, size 256, align 64, offset 0] [def] [from ]
!32 = metadata !{metadata !33, metadata !34, metadata !35, metadata !36}
!33 = metadata !{i32 786445, metadata !4, metadata !31, metadata !"size", i32 21, i64 32, i64 32, i64 0, i32 0, metadata !8} ; [ DW_TAG_member ] [size] [line 21, size 32, align 32, offset 0] [from unsigned int]
!34 = metadata !{i32 786445, metadata !4, metadata !31, metadata !"contents", i32 22, i64 64, i64 64, i64 64, i32 0, metadata !17} ; [ DW_TAG_member ] [contents] [line 22, size 64, align 64, offset 64] [from ]
!35 = metadata !{i32 786445, metadata !4, metadata !31, metadata !"path", i32 23, i64 64, i64 64, i64 128, i32 0, metadata !17} ; [ DW_TAG_member ] [path] [line 23, size 64, align 64, offset 128] [from ]
!36 = metadata !{i32 786445, metadata !4, metadata !31, metadata !"stat", i32 24, i64 64, i64 64, i64 192, i32 0, metadata !37} ; [ DW_TAG_member ] [stat] [line 24, size 64, align 64, offset 192] [from ]
!37 = metadata !{i32 786447, null, null, metadata !"", i32 0, i64 64, i64 64, i64 0, i32 0, metadata !38} ; [ DW_TAG_pointer_type ] [line 0, size 64, align 64, offset 0] [from stat64]
!38 = metadata !{i32 786451, metadata !39, null, metadata !"stat64", i32 119, i64 1152, i64 64, i32 0, i32 0, null, metadata !40, i32 0, null, null, null} ; [ DW_TAG_structure_type ] [stat64] [line 119, size 1152, align 64, offset 0] [def] [from ]
!39 = metadata !{metadata !"/usr/include/x86_64-linux-gnu/bits/stat.h", metadata !"/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX"}
!40 = metadata !{metadata !41, metadata !44, metadata !46, metadata !48, metadata !50, metadata !52, metadata !54, metadata !55, metadata !56, metadata !59, metadata !61, metadata !63, metadata !71, metadata !72, metadata !73}
!41 = metadata !{i32 786445, metadata !39, metadata !38, metadata !"st_dev", i32 121, i64 64, i64 64, i64 0, i32 0, metadata !42} ; [ DW_TAG_member ] [st_dev] [line 121, size 64, align 64, offset 0] [from __dev_t]
!42 = metadata !{i32 786454, metadata !39, null, metadata !"__dev_t", i32 124, i64 0, i64 0, i64 0, i32 0, metadata !43} ; [ DW_TAG_typedef ] [__dev_t] [line 124, size 0, align 0, offset 0] [from long unsigned int]
!43 = metadata !{i32 786468, null, null, metadata !"long unsigned int", i32 0, i64 64, i64 64, i64 0, i32 0, i32 7} ; [ DW_TAG_base_type ] [long unsigned int] [line 0, size 64, align 64, offset 0, enc DW_ATE_unsigned]
!44 = metadata !{i32 786445, metadata !39, metadata !38, metadata !"st_ino", i32 123, i64 64, i64 64, i64 64, i32 0, metadata !45} ; [ DW_TAG_member ] [st_ino] [line 123, size 64, align 64, offset 64] [from __ino64_t]
!45 = metadata !{i32 786454, metadata !39, null, metadata !"__ino64_t", i32 128, i64 0, i64 0, i64 0, i32 0, metadata !43} ; [ DW_TAG_typedef ] [__ino64_t] [line 128, size 0, align 0, offset 0] [from long unsigned int]
!46 = metadata !{i32 786445, metadata !39, metadata !38, metadata !"st_nlink", i32 124, i64 64, i64 64, i64 128, i32 0, metadata !47} ; [ DW_TAG_member ] [st_nlink] [line 124, size 64, align 64, offset 128] [from __nlink_t]
!47 = metadata !{i32 786454, metadata !39, null, metadata !"__nlink_t", i32 130, i64 0, i64 0, i64 0, i32 0, metadata !43} ; [ DW_TAG_typedef ] [__nlink_t] [line 130, size 0, align 0, offset 0] [from long unsigned int]
!48 = metadata !{i32 786445, metadata !39, metadata !38, metadata !"st_mode", i32 125, i64 32, i64 32, i64 192, i32 0, metadata !49} ; [ DW_TAG_member ] [st_mode] [line 125, size 32, align 32, offset 192] [from __mode_t]
!49 = metadata !{i32 786454, metadata !39, null, metadata !"__mode_t", i32 129, i64 0, i64 0, i64 0, i32 0, metadata !8} ; [ DW_TAG_typedef ] [__mode_t] [line 129, size 0, align 0, offset 0] [from unsigned int]
!50 = metadata !{i32 786445, metadata !39, metadata !38, metadata !"st_uid", i32 132, i64 32, i64 32, i64 224, i32 0, metadata !51} ; [ DW_TAG_member ] [st_uid] [line 132, size 32, align 32, offset 224] [from __uid_t]
!51 = metadata !{i32 786454, metadata !39, null, metadata !"__uid_t", i32 125, i64 0, i64 0, i64 0, i32 0, metadata !8} ; [ DW_TAG_typedef ] [__uid_t] [line 125, size 0, align 0, offset 0] [from unsigned int]
!52 = metadata !{i32 786445, metadata !39, metadata !38, metadata !"st_gid", i32 133, i64 32, i64 32, i64 256, i32 0, metadata !53} ; [ DW_TAG_member ] [st_gid] [line 133, size 32, align 32, offset 256] [from __gid_t]
!53 = metadata !{i32 786454, metadata !39, null, metadata !"__gid_t", i32 126, i64 0, i64 0, i64 0, i32 0, metadata !8} ; [ DW_TAG_typedef ] [__gid_t] [line 126, size 0, align 0, offset 0] [from unsigned int]
!54 = metadata !{i32 786445, metadata !39, metadata !38, metadata !"__pad0", i32 135, i64 32, i64 32, i64 288, i32 0, metadata !15} ; [ DW_TAG_member ] [__pad0] [line 135, size 32, align 32, offset 288] [from int]
!55 = metadata !{i32 786445, metadata !39, metadata !38, metadata !"st_rdev", i32 136, i64 64, i64 64, i64 320, i32 0, metadata !42} ; [ DW_TAG_member ] [st_rdev] [line 136, size 64, align 64, offset 320] [from __dev_t]
!56 = metadata !{i32 786445, metadata !39, metadata !38, metadata !"st_size", i32 137, i64 64, i64 64, i64 384, i32 0, metadata !57} ; [ DW_TAG_member ] [st_size] [line 137, size 64, align 64, offset 384] [from __off_t]
!57 = metadata !{i32 786454, metadata !39, null, metadata !"__off_t", i32 131, i64 0, i64 0, i64 0, i32 0, metadata !58} ; [ DW_TAG_typedef ] [__off_t] [line 131, size 0, align 0, offset 0] [from long int]
!58 = metadata !{i32 786468, null, null, metadata !"long int", i32 0, i64 64, i64 64, i64 0, i32 0, i32 5} ; [ DW_TAG_base_type ] [long int] [line 0, size 64, align 64, offset 0, enc DW_ATE_signed]
!59 = metadata !{i32 786445, metadata !39, metadata !38, metadata !"st_blksize", i32 143, i64 64, i64 64, i64 448, i32 0, metadata !60} ; [ DW_TAG_member ] [st_blksize] [line 143, size 64, align 64, offset 448] [from __blksize_t]
!60 = metadata !{i32 786454, metadata !39, null, metadata !"__blksize_t", i32 153, i64 0, i64 0, i64 0, i32 0, metadata !58} ; [ DW_TAG_typedef ] [__blksize_t] [line 153, size 0, align 0, offset 0] [from long int]
!61 = metadata !{i32 786445, metadata !39, metadata !38, metadata !"st_blocks", i32 144, i64 64, i64 64, i64 512, i32 0, metadata !62} ; [ DW_TAG_member ] [st_blocks] [line 144, size 64, align 64, offset 512] [from __blkcnt64_t]
!62 = metadata !{i32 786454, metadata !39, null, metadata !"__blkcnt64_t", i32 159, i64 0, i64 0, i64 0, i32 0, metadata !58} ; [ DW_TAG_typedef ] [__blkcnt64_t] [line 159, size 0, align 0, offset 0] [from long int]
!63 = metadata !{i32 786445, metadata !39, metadata !38, metadata !"st_atim", i32 152, i64 128, i64 64, i64 576, i32 0, metadata !64} ; [ DW_TAG_member ] [st_atim] [line 152, size 128, align 64, offset 576] [from timespec]
!64 = metadata !{i32 786451, metadata !65, null, metadata !"timespec", i32 120, i64 128, i64 64, i32 0, i32 0, null, metadata !66, i32 0, null, null, null} ; [ DW_TAG_structure_type ] [timespec] [line 120, size 128, align 64, offset 0] [def] [from ]
!65 = metadata !{metadata !"/usr/include/time.h", metadata !"/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX"}
!66 = metadata !{metadata !67, metadata !69}
!67 = metadata !{i32 786445, metadata !65, metadata !64, metadata !"tv_sec", i32 122, i64 64, i64 64, i64 0, i32 0, metadata !68} ; [ DW_TAG_member ] [tv_sec] [line 122, size 64, align 64, offset 0] [from __time_t]
!68 = metadata !{i32 786454, metadata !65, null, metadata !"__time_t", i32 139, i64 0, i64 0, i64 0, i32 0, metadata !58} ; [ DW_TAG_typedef ] [__time_t] [line 139, size 0, align 0, offset 0] [from long int]
!69 = metadata !{i32 786445, metadata !65, metadata !64, metadata !"tv_nsec", i32 123, i64 64, i64 64, i64 64, i32 0, metadata !70} ; [ DW_TAG_member ] [tv_nsec] [line 123, size 64, align 64, offset 64] [from __syscall_slong_t]
!70 = metadata !{i32 786454, metadata !65, null, metadata !"__syscall_slong_t", i32 175, i64 0, i64 0, i64 0, i32 0, metadata !58} ; [ DW_TAG_typedef ] [__syscall_slong_t] [line 175, size 0, align 0, offset 0] [from long int]
!71 = metadata !{i32 786445, metadata !39, metadata !38, metadata !"st_mtim", i32 153, i64 128, i64 64, i64 704, i32 0, metadata !64} ; [ DW_TAG_member ] [st_mtim] [line 153, size 128, align 64, offset 704] [from timespec]
!72 = metadata !{i32 786445, metadata !39, metadata !38, metadata !"st_ctim", i32 154, i64 128, i64 64, i64 832, i32 0, metadata !64} ; [ DW_TAG_member ] [st_ctim] [line 154, size 128, align 64, offset 832] [from timespec]
!73 = metadata !{i32 786445, metadata !39, metadata !38, metadata !"__glibc_reserved", i32 164, i64 192, i64 64, i64 960, i32 0, metadata !74} ; [ DW_TAG_member ] [__glibc_reserved] [line 164, size 192, align 64, offset 960] [from ]
!74 = metadata !{i32 786433, null, null, metadata !"", i32 0, i64 192, i64 64, i32 0, i32 0, metadata !70, metadata !75, i32 0, null, null, null} ; [ DW_TAG_array_type ] [line 0, size 192, align 64, offset 0] [from __syscall_slong_t]
!75 = metadata !{metadata !76}
!76 = metadata !{i32 786465, i64 0, i64 3}        ; [ DW_TAG_subrange_type ] [0, 2]
!77 = metadata !{i32 786447, null, null, metadata !"", i32 0, i64 64, i64 64, i64 0, i32 0, metadata !78} ; [ DW_TAG_pointer_type ] [line 0, size 64, align 64, offset 0] [from ]
!78 = metadata !{i32 786470, null, null, metadata !"", i32 0, i64 0, i64 0, i64 0, i32 0, metadata !79} ; [ DW_TAG_const_type ] [line 0, size 0, align 0, offset 0] [from fill_info_t]
!79 = metadata !{i32 786454, metadata !1, null, metadata !"fill_info_t", i32 97, i64 0, i64 0, i64 0, i32 0, metadata !5} ; [ DW_TAG_typedef ] [fill_info_t] [line 97, size 0, align 0, offset 0] [from ]
!80 = metadata !{metadata !81, metadata !82, metadata !83, metadata !84, metadata !85, metadata !86, metadata !87, metadata !88, metadata !89}
!81 = metadata !{i32 786689, metadata !25, metadata !"dfile", metadata !26, i32 16777272, metadata !29, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [dfile] [line 56]
!82 = metadata !{i32 786689, metadata !25, metadata !"fill_info", metadata !26, i32 33554488, metadata !77, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [fill_info] [line 56]
!83 = metadata !{i32 786689, metadata !25, metadata !"n_fill_info", metadata !26, i32 50331704, metadata !8, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [n_fill_info] [line 56]
!84 = metadata !{i32 786689, metadata !25, metadata !"do_memset", metadata !26, i32 67108920, metadata !15, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [do_memset] [line 56]
!85 = metadata !{i32 786688, metadata !25, metadata !"i", metadata !26, i32 57, metadata !8, i32 0, i32 0} ; [ DW_TAG_auto_variable ] [i] [line 57]
!86 = metadata !{i32 786688, metadata !25, metadata !"j", metadata !26, i32 57, metadata !8, i32 0, i32 0} ; [ DW_TAG_auto_variable ] [j] [line 57]
!87 = metadata !{i32 786688, metadata !25, metadata !"s", metadata !26, i32 58, metadata !15, i32 0, i32 0} ; [ DW_TAG_auto_variable ] [s] [line 58]
!88 = metadata !{i32 786688, metadata !25, metadata !"file", metadata !26, i32 59, metadata !17, i32 0, i32 0} ; [ DW_TAG_auto_variable ] [file] [line 59]
!89 = metadata !{i32 786688, metadata !90, metadata !"p", metadata !26, i32 61, metadata !77, i32 0, i32 0} ; [ DW_TAG_auto_variable ] [p] [line 61]
!90 = metadata !{i32 786443, metadata !1, metadata !91, i32 60, i32 0, i32 1} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!91 = metadata !{i32 786443, metadata !1, metadata !25, i32 60, i32 0, i32 0} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!92 = metadata !{i32 786478, metadata !1, metadata !26, metadata !"klee_init_fds", metadata !"klee_init_fds", metadata !"", i32 222, metadata !93, i1 false, i1 true, i32 0, i32 0, null, i32 256, i1 true, void (i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, %struct.fill_info_t*, i32, %struct.fill_info_t*, i32)* @klee_init_fds, null, null, metadata !95, i32 229} ; [ DW_TAG_subprogram ] [line 222] [def] [scope 229] [klee_init_fds]
!93 = metadata !{i32 786453, i32 0, null, metadata !"", i32 0, i64 0, i64 0, i64 0, i32 0, null, metadata !94, i32 0, null, null, null} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ]
!94 = metadata !{null, metadata !8, metadata !8, metadata !15, metadata !15, metadata !8, metadata !8, metadata !8, metadata !8, metadata !8, metadata !15, metadata !77, metadata !8, metadata !77, metadata !8}
!95 = metadata !{metadata !96, metadata !97, metadata !98, metadata !99, metadata !100, metadata !101, metadata !102, metadata !103, metadata !104, metadata !105, metadata !106, metadata !107, metadata !108, metadata !109, metadata !110, metadata !111, metadata !115, metadata !119, metadata !120, metadata !121, metadata !122}
!96 = metadata !{i32 786689, metadata !92, metadata !"n_files", metadata !26, i32 16777438, metadata !8, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [n_files] [line 222]
!97 = metadata !{i32 786689, metadata !92, metadata !"file_length", metadata !26, i32 33554654, metadata !8, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [file_length] [line 222]
!98 = metadata !{i32 786689, metadata !92, metadata !"sym_stdout_flag", metadata !26, i32 50331871, metadata !15, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [sym_stdout_flag] [line 223]
!99 = metadata !{i32 786689, metadata !92, metadata !"save_all_writes_flag", metadata !26, i32 67109087, metadata !15, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [save_all_writes_flag] [line 223]
!100 = metadata !{i32 786689, metadata !92, metadata !"n_streams", metadata !26, i32 83886304, metadata !8, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [n_streams] [line 224]
!101 = metadata !{i32 786689, metadata !92, metadata !"stream_len", metadata !26, i32 100663520, metadata !8, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [stream_len] [line 224]
!102 = metadata !{i32 786689, metadata !92, metadata !"n_dgrams", metadata !26, i32 117440737, metadata !8, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [n_dgrams] [line 225]
!103 = metadata !{i32 786689, metadata !92, metadata !"dgram_len", metadata !26, i32 134217953, metadata !8, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [dgram_len] [line 225]
!104 = metadata !{i32 786689, metadata !92, metadata !"max_failures", metadata !26, i32 150995170, metadata !8, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [max_failures] [line 226]
!105 = metadata !{i32 786689, metadata !92, metadata !"one_line_streams", metadata !26, i32 167772387, metadata !15, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [one_line_streams] [line 227]
!106 = metadata !{i32 786689, metadata !92, metadata !"stream_fill_info", metadata !26, i32 184549604, metadata !77, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [stream_fill_info] [line 228]
!107 = metadata !{i32 786689, metadata !92, metadata !"n_stream_fill_info", metadata !26, i32 201326820, metadata !8, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [n_stream_fill_info] [line 228]
!108 = metadata !{i32 786689, metadata !92, metadata !"dgram_fill_info", metadata !26, i32 218104037, metadata !77, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [dgram_fill_info] [line 229]
!109 = metadata !{i32 786689, metadata !92, metadata !"n_dgram_fill_info", metadata !26, i32 234881253, metadata !8, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [n_dgram_fill_info] [line 229]
!110 = metadata !{i32 786688, metadata !92, metadata !"k", metadata !26, i32 230, metadata !8, i32 0, i32 0} ; [ DW_TAG_auto_variable ] [k] [line 230]
!111 = metadata !{i32 786688, metadata !92, metadata !"name", metadata !26, i32 231, metadata !112, i32 0, i32 0} ; [ DW_TAG_auto_variable ] [name] [line 231]
!112 = metadata !{i32 786433, null, null, metadata !"", i32 0, i64 56, i64 8, i32 0, i32 0, metadata !18, metadata !113, i32 0, null, null, null} ; [ DW_TAG_array_type ] [line 0, size 56, align 8, offset 0] [from char]
!113 = metadata !{metadata !114}
!114 = metadata !{i32 786465, i64 0, i64 7}       ; [ DW_TAG_subrange_type ] [0, 6]
!115 = metadata !{i32 786688, metadata !92, metadata !"sname", metadata !26, i32 232, metadata !116, i32 0, i32 0} ; [ DW_TAG_auto_variable ] [sname] [line 232]
!116 = metadata !{i32 786433, null, null, metadata !"", i32 0, i64 64, i64 8, i32 0, i32 0, metadata !18, metadata !117, i32 0, null, null, null} ; [ DW_TAG_array_type ] [line 0, size 64, align 8, offset 0] [from char]
!117 = metadata !{metadata !118}
!118 = metadata !{i32 786465, i64 0, i64 8}       ; [ DW_TAG_subrange_type ] [0, 7]
!119 = metadata !{i32 786688, metadata !92, metadata !"dname", metadata !26, i32 233, metadata !112, i32 0, i32 0} ; [ DW_TAG_auto_variable ] [dname] [line 233]
!120 = metadata !{i32 786688, metadata !92, metadata !"s", metadata !26, i32 235, metadata !38, i32 0, i32 0} ; [ DW_TAG_auto_variable ] [s] [line 235]
!121 = metadata !{i32 786688, metadata !92, metadata !"i", metadata !26, i32 321, metadata !8, i32 0, i32 0} ; [ DW_TAG_auto_variable ] [i] [line 321]
!122 = metadata !{i32 786688, metadata !92, metadata !"offset", metadata !26, i32 322, metadata !123, i32 0, i32 0} ; [ DW_TAG_auto_variable ] [offset] [line 322]
!123 = metadata !{i32 786454, metadata !1, null, metadata !"off_t", i32 88, i64 0, i64 0, i64 0, i32 0, metadata !124} ; [ DW_TAG_typedef ] [off_t] [line 88, size 0, align 0, offset 0] [from __off64_t]
!124 = metadata !{i32 786454, metadata !4, null, metadata !"__off64_t", i32 132, i64 0, i64 0, i64 0, i32 0, metadata !58} ; [ DW_TAG_typedef ] [__off64_t] [line 132, size 0, align 0, offset 0] [from long int]
!125 = metadata !{i32 786478, metadata !1, metadata !26, metadata !"native_read_file", metadata !"native_read_file", metadata !"", i32 330, metadata !126, i1 false, i1 true, i32 0, i32 0, null, i32 256, i1 true, i32 (i8*, i32, i8**)* @native_read_file, null, null, metadata !131, i32 330} ; [ DW_TAG_subprogram ] [line 330] [def] [native_read_file]
!126 = metadata !{i32 786453, i32 0, null, metadata !"", i32 0, i64 0, i64 0, i64 0, i32 0, null, metadata !127, i32 0, null, null, null} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ]
!127 = metadata !{metadata !15, metadata !128, metadata !15, metadata !130}
!128 = metadata !{i32 786447, null, null, metadata !"", i32 0, i64 64, i64 64, i64 0, i32 0, metadata !129} ; [ DW_TAG_pointer_type ] [line 0, size 64, align 64, offset 0] [from ]
!129 = metadata !{i32 786470, null, null, metadata !"", i32 0, i64 0, i64 0, i64 0, i32 0, metadata !18} ; [ DW_TAG_const_type ] [line 0, size 0, align 0, offset 0] [from char]
!130 = metadata !{i32 786447, null, null, metadata !"", i32 0, i64 64, i64 64, i64 0, i32 0, metadata !17} ; [ DW_TAG_pointer_type ] [line 0, size 64, align 64, offset 0] [from ]
!131 = metadata !{metadata !132, metadata !133, metadata !134, metadata !135, metadata !136, metadata !137, metadata !138, metadata !139}
!132 = metadata !{i32 786689, metadata !125, metadata !"path", metadata !26, i32 16777546, metadata !128, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [path] [line 330]
!133 = metadata !{i32 786689, metadata !125, metadata !"flags", metadata !26, i32 33554762, metadata !15, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [flags] [line 330]
!134 = metadata !{i32 786689, metadata !125, metadata !"_buf", metadata !26, i32 50331978, metadata !130, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [_buf] [line 330]
!135 = metadata !{i32 786688, metadata !125, metadata !"s", metadata !26, i32 331, metadata !38, i32 0, i32 0} ; [ DW_TAG_auto_variable ] [s] [line 331]
!136 = metadata !{i32 786688, metadata !125, metadata !"buf", metadata !26, i32 332, metadata !17, i32 0, i32 0} ; [ DW_TAG_auto_variable ] [buf] [line 332]
!137 = metadata !{i32 786688, metadata !125, metadata !"fd", metadata !26, i32 333, metadata !15, i32 0, i32 0} ; [ DW_TAG_auto_variable ] [fd] [line 333]
!138 = metadata !{i32 786688, metadata !125, metadata !"rd", metadata !26, i32 340, metadata !15, i32 0, i32 0} ; [ DW_TAG_auto_variable ] [rd] [line 340]
!139 = metadata !{i32 786688, metadata !125, metadata !"cnt", metadata !26, i32 340, metadata !15, i32 0, i32 0} ; [ DW_TAG_auto_variable ] [cnt] [line 340]
!140 = metadata !{i32 786478, metadata !1, metadata !26, metadata !"klee_init_cp_file", metadata !"klee_init_cp_file", metadata !"", i32 351, metadata !141, i1 false, i1 true, i32 0, i32 0, null, i32 256, i1 true, %struct.exe_disk_file_t* (i8*, i32)* @klee_init_cp_file, null, null, metadata !143, i32 351} ; [ DW_TAG_subprogram ] [line 351] [def] [klee_init_cp_file]
!141 = metadata !{i32 786453, i32 0, null, metadata !"", i32 0, i64 0, i64 0, i64 0, i32 0, null, metadata !142, i32 0, null, null, null} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ]
!142 = metadata !{metadata !29, metadata !128, metadata !15}
!143 = metadata !{metadata !144, metadata !145, metadata !146, metadata !147, metadata !148, metadata !149}
!144 = metadata !{i32 786689, metadata !140, metadata !"path", metadata !26, i32 16777567, metadata !128, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [path] [line 351]
!145 = metadata !{i32 786689, metadata !140, metadata !"flags", metadata !26, i32 33554783, metadata !15, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [flags] [line 351]
!146 = metadata !{i32 786688, metadata !140, metadata !"k", metadata !26, i32 352, metadata !8, i32 0, i32 0} ; [ DW_TAG_auto_variable ] [k] [line 352]
!147 = metadata !{i32 786688, metadata !140, metadata !"fsize", metadata !26, i32 353, metadata !15, i32 0, i32 0} ; [ DW_TAG_auto_variable ] [fsize] [line 353]
!148 = metadata !{i32 786688, metadata !140, metadata !"def", metadata !26, i32 354, metadata !38, i32 0, i32 0} ; [ DW_TAG_auto_variable ] [def] [line 354]
!149 = metadata !{i32 786688, metadata !140, metadata !"buf", metadata !26, i32 355, metadata !17, i32 0, i32 0} ; [ DW_TAG_auto_variable ] [buf] [line 355]
!150 = metadata !{i32 786478, metadata !1, metadata !26, metadata !"__sym_uint32", metadata !"__sym_uint32", metadata !"", i32 205, metadata !151, i1 true, i1 true, i32 0, i32 0, null, i32 256, i1 true, null, null, null, metadata !153, i32 205} ; [ DW_TAG_subprogram ] [line 205] [local] [def] [__sym_uint32]
!151 = metadata !{i32 786453, i32 0, null, metadata !"", i32 0, i64 0, i64 0, i64 0, i32 0, null, metadata !152, i32 0, null, null, null} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ]
!152 = metadata !{metadata !8, metadata !128}
!153 = metadata !{metadata !154, metadata !155}
!154 = metadata !{i32 786689, metadata !150, metadata !"name", metadata !26, i32 16777421, metadata !128, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [name] [line 205]
!155 = metadata !{i32 786688, metadata !150, metadata !"x", metadata !26, i32 206, metadata !8, i32 0, i32 0} ; [ DW_TAG_auto_variable ] [x] [line 206]
!156 = metadata !{i32 786478, metadata !1, metadata !26, metadata !"__create_new_dfile", metadata !"__create_new_dfile", metadata !"", i32 102, metadata !157, i1 true, i1 true, i32 0, i32 0, null, i32 256, i1 true, void (%struct.exe_disk_file_t*, i32, i8*, i8*, %struct.fill_info_t*, i32, %struct.stat64*)* @__create_new_dfile, null, null, metadata !159, i32 105} ; [ DW_TAG_subprogram ] [line 102] [local] [def] [scope 105] [__create_new_dfile]
!157 = metadata !{i32 786453, i32 0, null, metadata !"", i32 0, i64 0, i64 0, i64 0, i32 0, null, metadata !158, i32 0, null, null, null} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ]
!158 = metadata !{null, metadata !29, metadata !8, metadata !17, metadata !128, metadata !77, metadata !8, metadata !37, metadata !15}
!159 = metadata !{metadata !160, metadata !161, metadata !162, metadata !163, metadata !164, metadata !165, metadata !166, metadata !167, metadata !168, metadata !169, metadata !170, metadata !174, metadata !175, metadata !176}
!160 = metadata !{i32 786689, metadata !156, metadata !"dfile", metadata !26, i32 16777318, metadata !29, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [dfile] [line 102]
!161 = metadata !{i32 786689, metadata !156, metadata !"size", metadata !26, i32 33554534, metadata !8, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [size] [line 102]
!162 = metadata !{i32 786689, metadata !156, metadata !"contents", metadata !26, i32 50331750, metadata !17, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [contents] [line 102]
!163 = metadata !{i32 786689, metadata !156, metadata !"name", metadata !26, i32 67108967, metadata !128, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [name] [line 103]
!164 = metadata !{i32 786689, metadata !156, metadata !"fill_info", metadata !26, i32 83886184, metadata !77, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [fill_info] [line 104]
!165 = metadata !{i32 786689, metadata !156, metadata !"n_fill_info", metadata !26, i32 100663400, metadata !8, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [n_fill_info] [line 104]
!166 = metadata !{i32 786689, metadata !156, metadata !"defaults", metadata !26, i32 117440617, metadata !37, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [defaults] [line 105]
!167 = metadata !{i32 786689, metadata !156, metadata !"is_foreign", metadata !26, i32 134217833, metadata !15, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [is_foreign] [line 105]
!168 = metadata !{i32 786688, metadata !156, metadata !"s", metadata !26, i32 106, metadata !37, i32 0, i32 0} ; [ DW_TAG_auto_variable ] [s] [line 106]
!169 = metadata !{i32 786688, metadata !156, metadata !"sp", metadata !26, i32 107, metadata !128, i32 0, i32 0} ; [ DW_TAG_auto_variable ] [sp] [line 107]
!170 = metadata !{i32 786688, metadata !156, metadata !"sname", metadata !26, i32 108, metadata !171, i32 0, i32 0} ; [ DW_TAG_auto_variable ] [sname] [line 108]
!171 = metadata !{i32 786433, null, null, metadata !"", i32 0, i64 2048, i64 8, i32 0, i32 0, metadata !18, metadata !172, i32 0, null, null, null} ; [ DW_TAG_array_type ] [line 0, size 2048, align 8, offset 0] [from char]
!172 = metadata !{metadata !173}
!173 = metadata !{i32 786465, i64 0, i64 256}     ; [ DW_TAG_subrange_type ] [0, 255]
!174 = metadata !{i32 786688, metadata !156, metadata !"src_name", metadata !26, i32 108, metadata !171, i32 0, i32 0} ; [ DW_TAG_auto_variable ] [src_name] [line 108]
!175 = metadata !{i32 786688, metadata !156, metadata !"original_file", metadata !26, i32 116, metadata !17, i32 0, i32 0} ; [ DW_TAG_auto_variable ] [original_file] [line 116]
!176 = metadata !{i32 786688, metadata !177, metadata !"i", metadata !26, i32 135, metadata !8, i32 0, i32 0} ; [ DW_TAG_auto_variable ] [i] [line 135]
!177 = metadata !{i32 786443, metadata !1, metadata !178, i32 134, i32 0, i32 52} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!178 = metadata !{i32 786443, metadata !1, metadata !156, i32 134, i32 0, i32 51} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!179 = metadata !{i32 786478, metadata !180, metadata !181, metadata !"stat64", metadata !"stat64", metadata !"", i32 502, metadata !182, i1 false, i1 true, i32 0, i32 0, null, i32 256, i1 true, null, null, null, metadata !184, i32 503} ; [ DW_TAG_subprogram ] [line 502] [def] [scope 503] [stat64]
!180 = metadata !{metadata !"/usr/include/x86_64-linux-gnu/sys/stat.h", metadata !"/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX"}
!181 = metadata !{i32 786473, metadata !180}      ; [ DW_TAG_file_type ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//usr/include/x86_64-linux-gnu/sys/stat.h]
!182 = metadata !{i32 786453, i32 0, null, metadata !"", i32 0, i64 0, i64 0, i64 0, i32 0, null, metadata !183, i32 0, null, null, null} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ]
!183 = metadata !{metadata !15, metadata !128, metadata !37}
!184 = metadata !{metadata !185, metadata !186}
!185 = metadata !{i32 786689, metadata !179, metadata !"__path", metadata !181, i32 16777718, metadata !128, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [__path] [line 502]
!186 = metadata !{i32 786689, metadata !179, metadata !"__statbuf", metadata !181, i32 33554934, metadata !37, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [__statbuf] [line 502]
!187 = metadata !{metadata !188, metadata !208, metadata !235, metadata !236, metadata !237, metadata !238, metadata !239}
!188 = metadata !{i32 786484, i32 0, null, metadata !"__exe_env", metadata !"__exe_env", metadata !"", metadata !26, i32 41, metadata !189, i32 0, i32 1, { [32 x %struct.exe_file_t], i32, i32, i32, [4 x i8] }* @__exe_env, null} ; [ DW_TAG_variable ] [__exe_env] [line 41] [def]
!189 = metadata !{i32 786454, metadata !1, null, metadata !"exe_sym_env_t", i32 84, i64 0, i64 0, i64 0, i32 0, metadata !190} ; [ DW_TAG_typedef ] [exe_sym_env_t] [line 84, size 0, align 0, offset 0] [from ]
!190 = metadata !{i32 786451, metadata !4, null, metadata !"", i32 76, i64 6272, i64 64, i32 0, i32 0, null, metadata !191, i32 0, null, null, null} ; [ DW_TAG_structure_type ] [line 76, size 6272, align 64, offset 0] [def] [from ]
!191 = metadata !{metadata !192, metadata !204, metadata !206, metadata !207}
!192 = metadata !{i32 786445, metadata !4, metadata !190, metadata !"fds", i32 77, i64 6144, i64 64, i64 0, i32 0, metadata !193} ; [ DW_TAG_member ] [fds] [line 77, size 6144, align 64, offset 0] [from ]
!193 = metadata !{i32 786433, null, null, metadata !"", i32 0, i64 6144, i64 64, i32 0, i32 0, metadata !194, metadata !202, i32 0, null, null, null} ; [ DW_TAG_array_type ] [line 0, size 6144, align 64, offset 0] [from exe_file_t]
!194 = metadata !{i32 786454, metadata !4, null, metadata !"exe_file_t", i32 41, i64 0, i64 0, i64 0, i32 0, metadata !195} ; [ DW_TAG_typedef ] [exe_file_t] [line 41, size 0, align 0, offset 0] [from ]
!195 = metadata !{i32 786451, metadata !4, null, metadata !"", i32 34, i64 192, i64 64, i32 0, i32 0, null, metadata !196, i32 0, null, null, null} ; [ DW_TAG_structure_type ] [line 34, size 192, align 64, offset 0] [def] [from ]
!196 = metadata !{metadata !197, metadata !198, metadata !199, metadata !201}
!197 = metadata !{i32 786445, metadata !4, metadata !195, metadata !"fd", i32 35, i64 32, i64 32, i64 0, i32 0, metadata !15} ; [ DW_TAG_member ] [fd] [line 35, size 32, align 32, offset 0] [from int]
!198 = metadata !{i32 786445, metadata !4, metadata !195, metadata !"flags", i32 36, i64 32, i64 32, i64 32, i32 0, metadata !8} ; [ DW_TAG_member ] [flags] [line 36, size 32, align 32, offset 32] [from unsigned int]
!199 = metadata !{i32 786445, metadata !4, metadata !195, metadata !"off", i32 39, i64 64, i64 64, i64 64, i32 0, metadata !200} ; [ DW_TAG_member ] [off] [line 39, size 64, align 64, offset 64] [from off64_t]
!200 = metadata !{i32 786454, metadata !4, null, metadata !"off64_t", i32 93, i64 0, i64 0, i64 0, i32 0, metadata !124} ; [ DW_TAG_typedef ] [off64_t] [line 93, size 0, align 0, offset 0] [from __off64_t]
!201 = metadata !{i32 786445, metadata !4, metadata !195, metadata !"dfile", i32 40, i64 64, i64 64, i64 128, i32 0, metadata !29} ; [ DW_TAG_member ] [dfile] [line 40, size 64, align 64, offset 128] [from ]
!202 = metadata !{metadata !203}
!203 = metadata !{i32 786465, i64 0, i64 32}      ; [ DW_TAG_subrange_type ] [0, 31]
!204 = metadata !{i32 786445, metadata !4, metadata !190, metadata !"umask", i32 78, i64 32, i64 32, i64 6144, i32 0, metadata !205} ; [ DW_TAG_member ] [umask] [line 78, size 32, align 32, offset 6144] [from mode_t]
!205 = metadata !{i32 786454, metadata !4, null, metadata !"mode_t", i32 70, i64 0, i64 0, i64 0, i32 0, metadata !49} ; [ DW_TAG_typedef ] [mode_t] [line 70, size 0, align 0, offset 0] [from __mode_t]
!206 = metadata !{i32 786445, metadata !4, metadata !190, metadata !"version", i32 79, i64 32, i64 32, i64 6176, i32 0, metadata !8} ; [ DW_TAG_member ] [version] [line 79, size 32, align 32, offset 6176] [from unsigned int]
!207 = metadata !{i32 786445, metadata !4, metadata !190, metadata !"save_all_writes", i32 83, i64 32, i64 32, i64 6208, i32 0, metadata !15} ; [ DW_TAG_member ] [save_all_writes] [line 83, size 32, align 32, offset 6208] [from int]
!208 = metadata !{i32 786484, i32 0, null, metadata !"__exe_fs", metadata !"__exe_fs", metadata !"", metadata !26, i32 28, metadata !209, i32 0, i32 1, %struct.exe_file_system_t* @__exe_fs, null} ; [ DW_TAG_variable ] [__exe_fs] [line 28] [def]
!209 = metadata !{i32 786454, metadata !1, null, metadata !"exe_file_system_t", i32 69, i64 0, i64 0, i64 0, i32 0, metadata !210} ; [ DW_TAG_typedef ] [exe_file_system_t] [line 69, size 0, align 0, offset 0] [from ]
!210 = metadata !{i32 786451, metadata !4, null, metadata !"", i32 43, i64 1216, i64 64, i32 0, i32 0, null, metadata !211, i32 0, null, null, null} ; [ DW_TAG_structure_type ] [line 43, size 1216, align 64, offset 0] [def] [from ]
!211 = metadata !{metadata !212, metadata !213, metadata !214, metadata !215, metadata !216, metadata !217, metadata !218, metadata !219, metadata !220, metadata !221, metadata !222, metadata !223, metadata !224, metadata !225, metadata !226, metadata !227, metadata !229, metadata !230, metadata !231, metadata !232, metadata !233, metadata !234}
!212 = metadata !{i32 786445, metadata !4, metadata !210, metadata !"n_sym_files", i32 44, i64 32, i64 32, i64 0, i32 0, metadata !8} ; [ DW_TAG_member ] [n_sym_files] [line 44, size 32, align 32, offset 0] [from unsigned int]
!213 = metadata !{i32 786445, metadata !4, metadata !210, metadata !"n_sym_files_used", i32 46, i64 32, i64 32, i64 32, i32 0, metadata !8} ; [ DW_TAG_member ] [n_sym_files_used] [line 46, size 32, align 32, offset 32] [from unsigned int]
!214 = metadata !{i32 786445, metadata !4, metadata !210, metadata !"n_cp_files", i32 47, i64 32, i64 32, i64 64, i32 0, metadata !8} ; [ DW_TAG_member ] [n_cp_files] [line 47, size 32, align 32, offset 64] [from unsigned int]
!215 = metadata !{i32 786445, metadata !4, metadata !210, metadata !"sym_stdin", i32 50, i64 64, i64 64, i64 128, i32 0, metadata !29} ; [ DW_TAG_member ] [sym_stdin] [line 50, size 64, align 64, offset 128] [from ]
!216 = metadata !{i32 786445, metadata !4, metadata !210, metadata !"sym_stdout", i32 50, i64 64, i64 64, i64 192, i32 0, metadata !29} ; [ DW_TAG_member ] [sym_stdout] [line 50, size 64, align 64, offset 192] [from ]
!217 = metadata !{i32 786445, metadata !4, metadata !210, metadata !"stdout_writes", i32 51, i64 32, i64 32, i64 256, i32 0, metadata !8} ; [ DW_TAG_member ] [stdout_writes] [line 51, size 32, align 32, offset 256] [from unsigned int]
!218 = metadata !{i32 786445, metadata !4, metadata !210, metadata !"sym_files", i32 52, i64 64, i64 64, i64 320, i32 0, metadata !29} ; [ DW_TAG_member ] [sym_files] [line 52, size 64, align 64, offset 320] [from ]
!219 = metadata !{i32 786445, metadata !4, metadata !210, metadata !"cp_files", i32 53, i64 64, i64 64, i64 384, i32 0, metadata !29} ; [ DW_TAG_member ] [cp_files] [line 53, size 64, align 64, offset 384] [from ]
!220 = metadata !{i32 786445, metadata !4, metadata !210, metadata !"n_sym_streams", i32 55, i64 32, i64 32, i64 448, i32 0, metadata !8} ; [ DW_TAG_member ] [n_sym_streams] [line 55, size 32, align 32, offset 448] [from unsigned int]
!221 = metadata !{i32 786445, metadata !4, metadata !210, metadata !"n_sym_streams_used", i32 56, i64 32, i64 32, i64 480, i32 0, metadata !8} ; [ DW_TAG_member ] [n_sym_streams_used] [line 56, size 32, align 32, offset 480] [from unsigned int]
!222 = metadata !{i32 786445, metadata !4, metadata !210, metadata !"sym_streams", i32 57, i64 64, i64 64, i64 512, i32 0, metadata !29} ; [ DW_TAG_member ] [sym_streams] [line 57, size 64, align 64, offset 512] [from ]
!223 = metadata !{i32 786445, metadata !4, metadata !210, metadata !"n_sym_dgrams", i32 59, i64 32, i64 32, i64 576, i32 0, metadata !8} ; [ DW_TAG_member ] [n_sym_dgrams] [line 59, size 32, align 32, offset 576] [from unsigned int]
!224 = metadata !{i32 786445, metadata !4, metadata !210, metadata !"n_sym_dgrams_used", i32 60, i64 32, i64 32, i64 608, i32 0, metadata !8} ; [ DW_TAG_member ] [n_sym_dgrams_used] [line 60, size 32, align 32, offset 608] [from unsigned int]
!225 = metadata !{i32 786445, metadata !4, metadata !210, metadata !"sym_dgrams", i32 61, i64 64, i64 64, i64 640, i32 0, metadata !29} ; [ DW_TAG_member ] [sym_dgrams] [line 61, size 64, align 64, offset 640] [from ]
!226 = metadata !{i32 786445, metadata !4, metadata !210, metadata !"max_failures", i32 64, i64 32, i64 32, i64 704, i32 0, metadata !8} ; [ DW_TAG_member ] [max_failures] [line 64, size 32, align 32, offset 704] [from unsigned int]
!227 = metadata !{i32 786445, metadata !4, metadata !210, metadata !"read_fail", i32 67, i64 64, i64 64, i64 768, i32 0, metadata !228} ; [ DW_TAG_member ] [read_fail] [line 67, size 64, align 64, offset 768] [from ]
!228 = metadata !{i32 786447, null, null, metadata !"", i32 0, i64 64, i64 64, i64 0, i32 0, metadata !15} ; [ DW_TAG_pointer_type ] [line 0, size 64, align 64, offset 0] [from int]
!229 = metadata !{i32 786445, metadata !4, metadata !210, metadata !"write_fail", i32 67, i64 64, i64 64, i64 832, i32 0, metadata !228} ; [ DW_TAG_member ] [write_fail] [line 67, size 64, align 64, offset 832] [from ]
!230 = metadata !{i32 786445, metadata !4, metadata !210, metadata !"close_fail", i32 67, i64 64, i64 64, i64 896, i32 0, metadata !228} ; [ DW_TAG_member ] [close_fail] [line 67, size 64, align 64, offset 896] [from ]
!231 = metadata !{i32 786445, metadata !4, metadata !210, metadata !"ftruncate_fail", i32 67, i64 64, i64 64, i64 960, i32 0, metadata !228} ; [ DW_TAG_member ] [ftruncate_fail] [line 67, size 64, align 64, offset 960] [from ]
!232 = metadata !{i32 786445, metadata !4, metadata !210, metadata !"getcwd_fail", i32 67, i64 64, i64 64, i64 1024, i32 0, metadata !228} ; [ DW_TAG_member ] [getcwd_fail] [line 67, size 64, align 64, offset 1024] [from ]
!233 = metadata !{i32 786445, metadata !4, metadata !210, metadata !"chmod_fail", i32 68, i64 64, i64 64, i64 1088, i32 0, metadata !228} ; [ DW_TAG_member ] [chmod_fail] [line 68, size 64, align 64, offset 1088] [from ]
!234 = metadata !{i32 786445, metadata !4, metadata !210, metadata !"fchmod_fail", i32 68, i64 64, i64 64, i64 1152, i32 0, metadata !228} ; [ DW_TAG_member ] [fchmod_fail] [line 68, size 64, align 64, offset 1152] [from ]
!235 = metadata !{i32 786484, i32 0, null, metadata !"__n_dgram_fill_info", metadata !"__n_dgram_fill_info", metadata !"", metadata !26, i32 54, metadata !8, i32 1, i32 1, i32* @__n_dgram_fill_info, null} ; [ DW_TAG_variable ] [__n_dgram_fill_info] [line 54] [local] [def]
!236 = metadata !{i32 786484, i32 0, null, metadata !"__dgram_fill_info", metadata !"__dgram_fill_info", metadata !"", metadata !26, i32 53, metadata !77, i32 1, i32 1, %struct.fill_info_t** @__dgram_fill_info, null} ; [ DW_TAG_variable ] [__dgram_fill_info] [line 53] [local] [def]
!237 = metadata !{i32 786484, i32 0, null, metadata !"__n_stream_fill_info", metadata !"__n_stream_fill_info", metadata !"", metadata !26, i32 52, metadata !8, i32 1, i32 1, i32* @__n_stream_fill_info, null} ; [ DW_TAG_variable ] [__n_stream_fill_info] [line 52] [local] [def]
!238 = metadata !{i32 786484, i32 0, null, metadata !"__stream_fill_info", metadata !"__stream_fill_info", metadata !"", metadata !26, i32 51, metadata !77, i32 1, i32 1, %struct.fill_info_t** @__stream_fill_info, null} ; [ DW_TAG_variable ] [__stream_fill_info] [line 51] [local] [def]
!239 = metadata !{i32 786484, i32 0, null, metadata !"__one_line_streams", metadata !"__one_line_streams", metadata !"", metadata !26, i32 50, metadata !15, i32 1, i32 1, null, null} ; [ DW_TAG_variable ] [__one_line_streams] [line 50] [local] [def]
!240 = metadata !{i32 2, metadata !"Dwarf Version", i32 4}
!241 = metadata !{i32 1, metadata !"Debug Info Version", i32 1}
!242 = metadata !{metadata !"clang version 3.4 (tags/RELEASE_34/final)"}
!243 = metadata !{i32 56, i32 0, metadata !25, null}
!244 = metadata !{i32 59, i32 0, metadata !25, null}
!245 = metadata !{i32 60, i32 0, metadata !91, null}
!246 = metadata !{i32 65, i32 0, metadata !247, null}
!247 = metadata !{i32 786443, metadata !1, metadata !248, i32 65, i32 0, i32 3} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!248 = metadata !{i32 786443, metadata !1, metadata !90, i32 62, i32 0, i32 2} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!249 = metadata !{i32 66, i32 0, metadata !250, null}
!250 = metadata !{i32 786443, metadata !1, metadata !247, i32 65, i32 0, i32 4} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!251 = metadata !{i32 87, i32 0, metadata !248, null}
!252 = metadata !{i32 61, i32 0, metadata !90, null}
!253 = metadata !{i32 62, i32 0, metadata !90, null}
!254 = metadata !{metadata !255, metadata !257, i64 4}
!255 = metadata !{metadata !"", metadata !256, i64 0, metadata !257, i64 4, metadata !256, i64 8, metadata !257, i64 16}
!256 = metadata !{metadata !"int", metadata !257, i64 0}
!257 = metadata !{metadata !"omnipotent char", metadata !258, i64 0}
!258 = metadata !{metadata !"Simple C/C++ TBAA"}
!259 = metadata !{i32 68, i32 0, metadata !260, null}
!260 = metadata !{i32 786443, metadata !1, metadata !261, i32 68, i32 0, i32 6} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!261 = metadata !{i32 786443, metadata !1, metadata !247, i32 67, i32 0, i32 5} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!262 = metadata !{metadata !255, metadata !256, i64 8}
!263 = metadata !{i32 69, i32 0, metadata !264, null}
!264 = metadata !{i32 786443, metadata !1, metadata !260, i32 68, i32 0, i32 7} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!265 = metadata !{metadata !266, metadata !267, i64 8}
!266 = metadata !{metadata !"", metadata !256, i64 0, metadata !267, i64 8, metadata !267, i64 16, metadata !267, i64 24}
!267 = metadata !{metadata !"any pointer", metadata !257, i64 0}
!268 = metadata !{metadata !255, metadata !256, i64 0}
!269 = metadata !{metadata !256, metadata !256, i64 0}
!270 = metadata !{i32 67, i32 0, metadata !250, null}
!271 = metadata !{metadata !257, metadata !257, i64 0}
!272 = metadata !{i32 76, i32 0, metadata !273, null}
!273 = metadata !{i32 786443, metadata !1, metadata !248, i32 76, i32 0, i32 8} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!274 = metadata !{i32 79, i32 0, metadata !275, null}
!275 = metadata !{i32 786443, metadata !1, metadata !276, i32 79, i32 0, i32 11} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!276 = metadata !{i32 786443, metadata !1, metadata !273, i32 78, i32 0, i32 10} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!277 = metadata !{i32 80, i32 0, metadata !278, null}
!278 = metadata !{i32 786443, metadata !1, metadata !275, i32 79, i32 0, i32 12} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!279 = metadata !{i32 77, i32 0, metadata !280, null}
!280 = metadata !{i32 786443, metadata !1, metadata !273, i32 76, i32 0, i32 9} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!281 = metadata !{metadata !267, metadata !267, i64 0}
!282 = metadata !{i32 78, i32 0, metadata !280, null}
!283 = metadata !{i32 85, i32 0, metadata !248, null}
!284 = metadata !{i32 86, i32 0, metadata !248, null}
!285 = metadata !{metadata !266, metadata !256, i64 0}
!286 = metadata !{i32 88, i32 0, metadata !287, null}
!287 = metadata !{i32 786443, metadata !1, metadata !248, i32 88, i32 0, i32 13} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!288 = metadata !{i32 91, i32 0, metadata !289, null}
!289 = metadata !{i32 786443, metadata !1, metadata !290, i32 91, i32 0, i32 16} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!290 = metadata !{i32 786443, metadata !1, metadata !287, i32 90, i32 0, i32 15} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!291 = metadata !{i32 92, i32 0, metadata !292, null}
!292 = metadata !{i32 786443, metadata !1, metadata !289, i32 91, i32 0, i32 17} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!293 = metadata !{i32 89, i32 0, metadata !294, null}
!294 = metadata !{i32 786443, metadata !1, metadata !287, i32 88, i32 0, i32 14} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!295 = metadata !{i32 90, i32 0, metadata !294, null}
!296 = metadata !{i32 97, i32 0, metadata !248, null}
!297 = metadata !{i32 100, i32 0, metadata !25, null}
!298 = metadata !{i32 330, i32 0, metadata !125, null}
!299 = metadata !{i32 331, i32 0, metadata !125, null}
!300 = metadata !{i32 786689, metadata !179, metadata !"__path", metadata !181, i32 16777718, metadata !128, i32 0, metadata !301} ; [ DW_TAG_arg_variable ] [__path] [line 502]
!301 = metadata !{i32 334, i32 13, metadata !302, null}
!302 = metadata !{i32 786443, metadata !1, metadata !125, i32 334, i32 0, i32 35} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!303 = metadata !{i32 502, i32 0, metadata !179, metadata !301}
!304 = metadata !{i32 786689, metadata !179, metadata !"__statbuf", metadata !181, i32 33554934, metadata !37, i32 0, metadata !301} ; [ DW_TAG_arg_variable ] [__statbuf] [line 502]
!305 = metadata !{i32 504, i32 0, metadata !306, metadata !301}
!306 = metadata !{i32 786443, metadata !180, metadata !179} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//usr/include/x86_64-linux-gnu/sys/stat.h]
!307 = metadata !{i32 336, i32 0, metadata !125, null}
!308 = metadata !{metadata !309, metadata !310, i64 48}
!309 = metadata !{metadata !"stat64", metadata !310, i64 0, metadata !310, i64 8, metadata !310, i64 16, metadata !256, i64 24, metadata !256, i64 28, metadata !256, i64 32, metadata !256, i64 36, metadata !310, i64 40, metadata !310, i64 48, metadata !310, i64 56, metadata !310, i64 64, metadata !311, i64 72, metadata !311, i64 88, metadata !311, i64 104, metadata !257, i64 120}
!310 = metadata !{metadata !"long", metadata !257, i64 0}
!311 = metadata !{metadata !"timespec", metadata !310, i64 0, metadata !310, i64 8}
!312 = metadata !{i32 337, i32 0, metadata !125, null}
!313 = metadata !{i32 338, i32 0, metadata !314, null}
!314 = metadata !{i32 786443, metadata !1, metadata !125, i32 338, i32 0, i32 36} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!315 = metadata !{i32 341, i32 0, metadata !125, null}
!316 = metadata !{i32 342, i32 0, metadata !317, null}
!317 = metadata !{i32 786443, metadata !1, metadata !125, i32 341, i32 0, i32 37} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!318 = metadata !{i32 343, i32 0, metadata !319, null}
!319 = metadata !{i32 786443, metadata !1, metadata !317, i32 343, i32 0, i32 38} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!320 = metadata !{i32 345, i32 0, metadata !317, null}
!321 = metadata !{i32 347, i32 0, metadata !125, null}
!322 = metadata !{i32 348, i32 0, metadata !125, null}
!323 = metadata !{i32 349, i32 0, metadata !125, null}
!324 = metadata !{i32 232, i32 0, metadata !92, null}
!325 = metadata !{i32 222, i32 0, metadata !92, null}
!326 = metadata !{i32 223, i32 0, metadata !92, null}
!327 = metadata !{i32 224, i32 0, metadata !92, null}
!328 = metadata !{i32 225, i32 0, metadata !92, null}
!329 = metadata !{i32 226, i32 0, metadata !92, null}
!330 = metadata !{i32 227, i32 0, metadata !92, null}
!331 = metadata !{i32 228, i32 0, metadata !92, null}
!332 = metadata !{i32 229, i32 0, metadata !92, null}
!333 = metadata !{i32 231, i32 0, metadata !92, null}
!334 = metadata !{i32 233, i32 0, metadata !92, null}
!335 = metadata !{i32 235, i32 0, metadata !92, null}
!336 = metadata !{i8* getelementptr inbounds ([2 x i8]* @.str6, i64 0, i64 0)}
!337 = metadata !{i32 786689, metadata !179, metadata !"__path", metadata !181, i32 16777718, metadata !128, i32 0, metadata !338} ; [ DW_TAG_arg_variable ] [__path] [line 502]
!338 = metadata !{i32 237, i32 0, metadata !92, null}
!339 = metadata !{i32 502, i32 0, metadata !179, metadata !338}
!340 = metadata !{i32 786689, metadata !179, metadata !"__statbuf", metadata !181, i32 33554934, metadata !37, i32 0, metadata !338} ; [ DW_TAG_arg_variable ] [__statbuf] [line 502]
!341 = metadata !{i32 504, i32 0, metadata !306, metadata !338}
!342 = metadata !{i32 240, i32 0, metadata !92, null}
!343 = metadata !{i32 241, i32 0, metadata !92, null}
!344 = metadata !{i32 242, i32 0, metadata !92, null}
!345 = metadata !{i32 243, i32 0, metadata !92, null}
!346 = metadata !{i32 245, i32 0, metadata !92, null}
!347 = metadata !{metadata !348, metadata !256, i64 0}
!348 = metadata !{metadata !"", metadata !256, i64 0, metadata !256, i64 4, metadata !256, i64 8, metadata !267, i64 16, metadata !267, i64 24, metadata !256, i64 32, metadata !267, i64 40, metadata !267, i64 48, metadata !256, i64 56, metadata !256, i64 60, metadata !267, i64 64, metadata !256, i64 72, metadata !256, i64 76, metadata !267, i64 80, metadata !256, i64 88, metadata !267, i64 96, metadata !267, i64 104, metadata !267, i64 112, metadata !267, i64 120, metadata !267, i64 128, metadata !267, i64 136, metadata !267, i64 144}
!349 = metadata !{i32 246, i32 0, metadata !92, null}
!350 = metadata !{metadata !348, metadata !267, i64 40}
!351 = metadata !{i32 247, i32 0, metadata !92, null}
!352 = metadata !{metadata !348, metadata !256, i64 4}
!353 = metadata !{i32 249, i32 0, metadata !354, null}
!354 = metadata !{i32 786443, metadata !1, metadata !92, i32 249, i32 0, i32 18} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!355 = metadata !{i32 250, i32 0, metadata !356, null}
!356 = metadata !{i32 786443, metadata !1, metadata !354, i32 249, i32 0, i32 19} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!357 = metadata !{i32 252, i32 0, metadata !356, null}
!358 = metadata !{i32 255, i32 0, metadata !92, null}
!359 = metadata !{metadata !348, metadata !256, i64 8}
!360 = metadata !{i32 256, i32 0, metadata !92, null}
!361 = metadata !{metadata !348, metadata !267, i64 48}
!362 = metadata !{i32 257, i32 0, metadata !92, null}
!363 = metadata !{i32 260, i32 0, metadata !364, null}
!364 = metadata !{i32 786443, metadata !1, metadata !92, i32 260, i32 0, i32 20} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!365 = metadata !{i32 261, i32 0, metadata !366, null}
!366 = metadata !{i32 786443, metadata !1, metadata !364, i32 260, i32 0, i32 21} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!367 = metadata !{metadata !348, metadata !267, i64 16}
!368 = metadata !{i32 263, i32 0, metadata !366, null}
!369 = metadata !{i32 264, i32 0, metadata !366, null}
!370 = metadata !{metadata !371, metadata !267, i64 16}
!371 = metadata !{metadata !"", metadata !256, i64 0, metadata !256, i64 4, metadata !310, i64 8, metadata !267, i64 16}
!372 = metadata !{i32 265, i32 0, metadata !366, null}
!373 = metadata !{i32 266, i32 0, metadata !364, null}
!374 = metadata !{i32 268, i32 0, metadata !92, null}
!375 = metadata !{metadata !348, metadata !256, i64 88}
!376 = metadata !{i32 269, i32 0, metadata !377, null}
!377 = metadata !{i32 786443, metadata !1, metadata !92, i32 269, i32 0, i32 22} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!378 = metadata !{i32 270, i32 0, metadata !379, null}
!379 = metadata !{i32 786443, metadata !1, metadata !377, i32 269, i32 0, i32 23} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!380 = metadata !{metadata !348, metadata !267, i64 96}
!381 = metadata !{i32 271, i32 0, metadata !379, null}
!382 = metadata !{metadata !348, metadata !267, i64 104}
!383 = metadata !{i32 272, i32 0, metadata !379, null}
!384 = metadata !{metadata !348, metadata !267, i64 112}
!385 = metadata !{i32 273, i32 0, metadata !379, null}
!386 = metadata !{metadata !348, metadata !267, i64 120}
!387 = metadata !{i32 274, i32 0, metadata !379, null}
!388 = metadata !{metadata !348, metadata !267, i64 128}
!389 = metadata !{i32 276, i32 0, metadata !379, null}
!390 = metadata !{i32 277, i32 0, metadata !379, null}
!391 = metadata !{i32 278, i32 0, metadata !379, null}
!392 = metadata !{i32 279, i32 0, metadata !379, null}
!393 = metadata !{i32 280, i32 0, metadata !379, null}
!394 = metadata !{i32 281, i32 0, metadata !379, null}
!395 = metadata !{i32 284, i32 0, metadata !396, null}
!396 = metadata !{i32 786443, metadata !1, metadata !92, i32 284, i32 0, i32 24} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!397 = metadata !{i32 285, i32 0, metadata !398, null}
!398 = metadata !{i32 786443, metadata !1, metadata !396, i32 284, i32 0, i32 25} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!399 = metadata !{metadata !348, metadata !267, i64 24}
!400 = metadata !{i32 287, i32 0, metadata !398, null}
!401 = metadata !{i32 288, i32 0, metadata !398, null}
!402 = metadata !{i32 289, i32 0, metadata !398, null}
!403 = metadata !{metadata !348, metadata !256, i64 32}
!404 = metadata !{i32 290, i32 0, metadata !398, null}
!405 = metadata !{i32 291, i32 0, metadata !396, null}
!406 = metadata !{i32 293, i32 0, metadata !92, null}
!407 = metadata !{metadata !408, metadata !256, i64 776}
!408 = metadata !{metadata !"", metadata !257, i64 0, metadata !256, i64 768, metadata !256, i64 772, metadata !256, i64 776}
!409 = metadata !{i32 205, i32 0, metadata !150, metadata !410}
!410 = metadata !{i32 294, i32 0, metadata !92, null}
!411 = metadata !{null}
!412 = metadata !{i32 786689, metadata !150, metadata !"name", metadata !26, i32 16777421, metadata !128, i32 0, metadata !410} ; [ DW_TAG_arg_variable ] [name] [line 205]
!413 = metadata !{i32 206, i32 0, metadata !150, metadata !410}
!414 = metadata !{i32 207, i32 0, metadata !150, metadata !410}
!415 = metadata !{i32 786688, metadata !150, metadata !"x", metadata !26, i32 206, metadata !8, i32 0, metadata !410} ; [ DW_TAG_auto_variable ] [x] [line 206]
!416 = metadata !{i32 208, i32 0, metadata !150, metadata !410}
!417 = metadata !{metadata !408, metadata !256, i64 772}
!418 = metadata !{i32 295, i32 0, metadata !92, null}
!419 = metadata !{i32 298, i32 0, metadata !92, null}
!420 = metadata !{metadata !348, metadata !256, i64 56}
!421 = metadata !{i32 299, i32 0, metadata !92, null}
!422 = metadata !{metadata !348, metadata !267, i64 64}
!423 = metadata !{i32 300, i32 0, metadata !424, null}
!424 = metadata !{i32 786443, metadata !1, metadata !92, i32 300, i32 0, i32 26} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!425 = metadata !{i32 301, i32 0, metadata !424, null}
!426 = metadata !{i32 302, i32 0, metadata !427, null}
!427 = metadata !{i32 786443, metadata !1, metadata !92, i32 302, i32 0, i32 27} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!428 = metadata !{i32 303, i32 0, metadata !429, null}
!429 = metadata !{i32 786443, metadata !1, metadata !427, i32 302, i32 0, i32 28} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!430 = metadata !{i32 304, i32 0, metadata !429, null}
!431 = metadata !{i32 306, i32 0, metadata !92, null}
!432 = metadata !{metadata !348, metadata !256, i64 60}
!433 = metadata !{i32 310, i32 0, metadata !92, null}
!434 = metadata !{metadata !348, metadata !256, i64 72}
!435 = metadata !{i32 311, i32 0, metadata !92, null}
!436 = metadata !{metadata !348, metadata !267, i64 80}
!437 = metadata !{i32 312, i32 0, metadata !438, null}
!438 = metadata !{i32 786443, metadata !1, metadata !92, i32 312, i32 0, i32 29} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!439 = metadata !{i32 313, i32 0, metadata !438, null}
!440 = metadata !{i32 314, i32 0, metadata !441, null}
!441 = metadata !{i32 786443, metadata !1, metadata !92, i32 314, i32 0, i32 30} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!442 = metadata !{i32 315, i32 0, metadata !443, null}
!443 = metadata !{i32 786443, metadata !1, metadata !441, i32 314, i32 0, i32 31} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!444 = metadata !{i32 316, i32 0, metadata !443, null}
!445 = metadata !{i32 318, i32 0, metadata !92, null}
!446 = metadata !{metadata !348, metadata !256, i64 76}
!447 = metadata !{i32 323, i32 0, metadata !448, null}
!448 = metadata !{i32 786443, metadata !1, metadata !92, i32 323, i32 0, i32 32} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!449 = metadata !{i32 324, i32 0, metadata !450, null}
!450 = metadata !{i32 786443, metadata !1, metadata !448, i32 323, i32 0, i32 33} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!451 = metadata !{i32 325, i32 0, metadata !452, null}
!452 = metadata !{i32 786443, metadata !1, metadata !450, i32 325, i32 0, i32 34} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!453 = metadata !{i32 326, i32 0, metadata !452, null}
!454 = metadata !{metadata !371, metadata !310, i64 8}
!455 = metadata !{i32 328, i32 0, metadata !92, null}
!456 = metadata !{i32 105, i32 0, metadata !156, null}
!457 = metadata !{i32 106, i32 0, metadata !156, null}
!458 = metadata !{i32 108, i32 0, metadata !156, null}
!459 = metadata !{i32 109, i32 0, metadata !460, null}
!460 = metadata !{i32 786443, metadata !1, metadata !156, i32 109, i32 0, i32 44} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!461 = metadata !{i32 111, i32 0, metadata !156, null}
!462 = metadata !{i32 110, i32 0, metadata !460, null}
!463 = metadata !{i32 113, i32 0, metadata !156, null}
!464 = metadata !{i32 115, i32 0, metadata !156, null}
!465 = metadata !{i8* null}
!466 = metadata !{i32 116, i32 0, metadata !156, null}
!467 = metadata !{i32 118, i32 0, metadata !468, null}
!468 = metadata !{i32 786443, metadata !1, metadata !469, i32 117, i32 0, i32 46} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!469 = metadata !{i32 786443, metadata !1, metadata !156, i32 117, i32 0, i32 45} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!470 = metadata !{i32 117, i32 0, metadata !469, null}
!471 = metadata !{i32 119, i32 0, metadata !468, null}
!472 = metadata !{i32 120, i32 0, metadata !468, null}
!473 = metadata !{i32 121, i32 0, metadata !468, null}
!474 = metadata !{i32 122, i32 0, metadata !475, null}
!475 = metadata !{i32 786443, metadata !1, metadata !469, i32 121, i32 0, i32 47} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!476 = metadata !{i32 125, i32 0, metadata !477, null}
!477 = metadata !{i32 786443, metadata !1, metadata !156, i32 125, i32 0, i32 48} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!478 = metadata !{i32 126, i32 0, metadata !479, null}
!479 = metadata !{i32 786443, metadata !1, metadata !477, i32 125, i32 0, i32 49} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!480 = metadata !{i32 127, i32 0, metadata !479, null}
!481 = metadata !{i32 128, i32 0, metadata !479, null}
!482 = metadata !{i32 129, i32 0, metadata !483, null}
!483 = metadata !{i32 786443, metadata !1, metadata !477, i32 128, i32 0, i32 50} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!484 = metadata !{i32 130, i32 0, metadata !483, null}
!485 = metadata !{i32 134, i32 0, metadata !178, null}
!486 = metadata !{i32 136, i32 0, metadata !487, null}
!487 = metadata !{i32 786443, metadata !1, metadata !177, i32 136, i32 0, i32 53} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!488 = metadata !{i32 137, i32 0, metadata !489, null}
!489 = metadata !{i32 786443, metadata !1, metadata !487, i32 136, i32 0, i32 54} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!490 = metadata !{i32 139, i32 0, metadata !177, null}
!491 = metadata !{i32 140, i32 0, metadata !177, null}
!492 = metadata !{i32 142, i32 0, metadata !156, null}
!493 = metadata !{i32 143, i32 0, metadata !156, null}
!494 = metadata !{i32 146, i32 0, metadata !495, null}
!495 = metadata !{i32 786443, metadata !1, metadata !156, i32 146, i32 0, i32 55} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!496 = metadata !{metadata !309, metadata !310, i64 8}
!497 = metadata !{i32 148, i32 0, metadata !495, null}
!498 = metadata !{i32 153, i32 0, metadata !156, null}
!499 = metadata !{i32 157, i32 0, metadata !156, null}
!500 = metadata !{metadata !309, metadata !310, i64 56}
!501 = metadata !{i32 159, i32 0, metadata !156, null}
!502 = metadata !{metadata !309, metadata !256, i64 24}
!503 = metadata !{i32 160, i32 0, metadata !156, null}
!504 = metadata !{metadata !309, metadata !310, i64 0}
!505 = metadata !{i32 161, i32 0, metadata !156, null}
!506 = metadata !{metadata !309, metadata !310, i64 40}
!507 = metadata !{i32 162, i32 0, metadata !156, null}
!508 = metadata !{i32 163, i32 0, metadata !156, null}
!509 = metadata !{i32 164, i32 0, metadata !156, null}
!510 = metadata !{i32 165, i32 0, metadata !156, null}
!511 = metadata !{i32 166, i32 0, metadata !156, null}
!512 = metadata !{metadata !309, metadata !310, i64 16}
!513 = metadata !{i32 167, i32 0, metadata !156, null}
!514 = metadata !{metadata !309, metadata !256, i64 28}
!515 = metadata !{i32 168, i32 0, metadata !156, null}
!516 = metadata !{metadata !309, metadata !256, i64 32}
!517 = metadata !{i32 169, i32 0, metadata !156, null}
!518 = metadata !{i32 170, i32 0, metadata !156, null}
!519 = metadata !{metadata !309, metadata !310, i64 72}
!520 = metadata !{i32 171, i32 0, metadata !156, null}
!521 = metadata !{metadata !309, metadata !310, i64 88}
!522 = metadata !{i32 172, i32 0, metadata !156, null}
!523 = metadata !{metadata !309, metadata !310, i64 104}
!524 = metadata !{i32 175, i32 0, metadata !525, null}
!525 = metadata !{i32 786443, metadata !1, metadata !156, i32 175, i32 0, i32 56} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!526 = metadata !{i32 176, i32 0, metadata !527, null}
!527 = metadata !{i32 786443, metadata !1, metadata !525, i32 175, i32 0, i32 57} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!528 = metadata !{i32 177, i32 0, metadata !527, null}
!529 = metadata !{i32 178, i32 0, metadata !530, null}
!530 = metadata !{i32 786443, metadata !1, metadata !525, i32 177, i32 0, i32 58} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!531 = metadata !{i32 180, i32 0, metadata !156, null}
!532 = metadata !{metadata !309, metadata !310, i64 64}
!533 = metadata !{i32 181, i32 0, metadata !156, null}
!534 = metadata !{metadata !266, metadata !267, i64 24}
!535 = metadata !{i32 204, i32 0, metadata !156, null}
!536 = metadata !{i32 351, i32 0, metadata !140, null}
!537 = metadata !{i32 354, i32 0, metadata !140, null}
!538 = metadata !{i32 355, i32 0, metadata !140, null}
!539 = metadata !{i32 357, i32 0, metadata !140, null}
!540 = metadata !{i32 358, i32 0, metadata !541, null}
!541 = metadata !{i32 786443, metadata !1, metadata !140, i32 358, i32 0, i32 39} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!542 = metadata !{i32 786689, metadata !179, metadata !"__path", metadata !181, i32 16777718, metadata !128, i32 0, metadata !543} ; [ DW_TAG_arg_variable ] [__path] [line 502]
!543 = metadata !{i32 360, i32 0, metadata !140, null}
!544 = metadata !{i32 502, i32 0, metadata !179, metadata !543}
!545 = metadata !{i32 786689, metadata !179, metadata !"__statbuf", metadata !181, i32 33554934, metadata !37, i32 0, metadata !543} ; [ DW_TAG_arg_variable ] [__statbuf] [line 502]
!546 = metadata !{i32 504, i32 0, metadata !306, metadata !543}
!547 = metadata !{i32 361, i32 0, metadata !548, null}
!548 = metadata !{i32 786443, metadata !1, metadata !140, i32 361, i32 0, i32 40} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!549 = metadata !{i32 362, i32 0, metadata !550, null}
!550 = metadata !{i32 786443, metadata !1, metadata !551, i32 362, i32 0, i32 42} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!551 = metadata !{i32 786443, metadata !1, metadata !548, i32 361, i32 0, i32 41} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!552 = metadata !{i32 363, i32 0, metadata !553, null}
!553 = metadata !{i32 786443, metadata !1, metadata !550, i32 362, i32 0, i32 43} ; [ DW_TAG_lexical_block ] [/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/POSIX//home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/POSIX/fd_init.c]
!554 = metadata !{i32 365, i32 0, metadata !553, null}
!555 = metadata !{metadata !266, metadata !267, i64 16}
!556 = metadata !{i32 366, i32 0, metadata !553, null}
!557 = metadata !{i32 367, i32 0, metadata !553, null}
!558 = metadata !{i32 371, i32 0, metadata !140, null}
